1398 search results - page 68 / 280 » Ensuring Properties of Interaction Systems |
152
click to vote
ESOP
2006
Springer
15 years 7 months ago
2006
Springer
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...
128
Voted
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
We describe an automatic verification method to check whether transactional memories ensure strict serializability--a key property assumed of the transactional interface. Our main...
124
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Mobile devices, like sensor networks and MEMS actuators use mobile power supplies to ensure energy for their operation. These are mostly batteries. The lifetime of the devices dep...
145
click to vote
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
— The paper studies the observability properties of the relative localization of two Autonomous Underwater Vehicles (AUVs) equipped with depth sensors, linear/angular velocity se...
149
click to vote
ASE
1999
15 years 3 months ago
1999
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...