1615 search results - page 99 / 323 » Distributed Forward Checking |
235
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract-- In recent years underwater survey and surveillance missions with more than a single Autonomous Underwater Vehicle (AUV) have become more common thanks to more reliable a...
182
Voted
ECLIPSE
2006
ACM
15 years 11 months ago
2006
ACM
In this work we present an Eclipse plug-in for the VInTiMe (Verifier of INtegrated TImed ModEls)1 suite of tools that combines high-level expressive power, unassisted propertypres...
176
click to vote
CONCUR
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. This paper presents SOAR: the first oblivious atomicity assertion with polynomial complexity. SOAR enables to check atomicity of a single-writer multi-reader register imp...
325
click to vote
CASCON
2010
15 years 4 months ago
2010
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. However, web services are dis...
185
click to vote
POLICY
2005
Springer
16 years 25 days ago
2005
Springer
We describe a policy language and implement its associated proof checking system. In our system, agents can distribute data along with usage policies in a decentralized architectu...