4693 search results - page 840 / 939 » Verifying Hybrid Systems |
94
Voted
HVEI
2009
14 years 10 months ago
2009
We present the design of a spherical imaging system with the following properties: (i) A 4 field of view that enables it to "see" in all directions; (ii) a single center...
111
Voted
DOLAP
2010
ACM
14 years 10 months ago
2010
ACM
Object identification is a crucial step in most information systems. Nowadays, we have many different ways to identify entities such as surrogates, keys and object identifiers. Ho...
194
click to vote
ASE
2011
14 years 7 months ago
2011
This paper introduces a technique for incremental and compositional model checking that allows efficient reuse of model-checking results associated with the features in a product l...
128
click to vote
WWW
2011
ACM
14 years 7 months ago
2011
ACM
Choreography analysis has been a crucial problem in service oriented computing. Interactions among services involve message exchanges across organizational boundaries in a distrib...
125
Voted
IJSNET
2010
14 years 7 months ago
2010
Abstract: Taking into account requirements of sensor networks, we need fully-distributed and selforganising control mechanisms which are scalable to the size of a network, robust t...