524 search results - page 75 / 105 » Application of Graph Transformation in Verification of Dynam... |
LCN
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract—Distributed interactive applications may have stringent latency requirements and dynamic user groups. These applications may benefit from a group communication system, ...
JASIS
2010
13 years 7 months ago
2010
We present a novel approach to visually locate bodies of research within the sciences, both at each moment of time and dynamically. This article describes how this approach fits w...
BROADNETS
2006
IEEE
14 years 11 days ago
2006
IEEE
Sensor webs are heterogeneous collections of sensor devices that collect information and interact with the environment. They consist of wireless sensor networks that are ensembles ...
FM
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
AAAI
2010
13 years 10 months ago
2010
Goal-directed path planning is one of the basic and widely studied problems in the field of mobile robotics. Homotopy classes of trajectories, arising due to the presence of obsta...