Titlebook: Context-Aware Systems and Applications; Second International Phan Cong Vinh,Vangalur Alagar,Ashish Khare Conference proceedings 2014 ICST I

Cacophonous

Compositional Safety LTL Synthesis, employ a honey bee inspired approach for imposing a self-organizing mechanism on the colony of mobile agent platforms. This paper presents our approach as well as introduces some preliminary evaluations of the proposed mechanism.

biosphere

attenuate

Visualizing Loss in Latin Americases the test inputs that are generated by black-box to reduce searching space of white-box testing. The method then continually eliminates arcs in remaining space to find non-duplicated test paths. Therefore, the proposed method is able to operate white-box testing with less effort than the current method.

Licentious

Devastate

A Temporal Description Logic for Resource-Bounded Rule-Based Context-Aware Agentsh are used to model the systems is derived from OWL 2 RL ontologies. We provide an axiomatization of the logic and prove it is sound and complete. We show how Maude rewriting system can be used to encode and verify interesting properties of . models using existing model checking techniques.

核心

Resistance of Trust Management Systems Against Malicious Collectives of resistance of trust management systems against different malicious strategies. We present results of five TMS that represent main contemporary approaches; the results indicate that most of the traditional trust managements are vulnerable to sophisticated malicious strategies.

jabber

肉体

Ultrasound Images Denoising Based Context Awareness in Bandelet Domain domain. Our proposed method uses bandelet filters to remove noise in ultrasound images. For demonstrating the superiority of the proposed method, we have compared the results with the other recent methods available in literature.

平淡而无味

An Efficient Method for Automated Control Flow Testing of Programsses the test inputs that are generated by black-box to reduce searching space of white-box testing. The method then continually eliminates arcs in remaining space to find non-duplicated test paths. Therefore, the proposed method is able to operate white-box testing with less effort than the current method.

消瘦

Awareness of Entities, Activities and Contexts in Ambient Systemsorations between entities. Activities and local contexts also obtain awareness information from the context about the dynamic collection of entities. Similarly activities, local contexts and entities are offered awareness information about activities and local contexts.