783 search results - page 109 / 157 » Compositional Reasoning in Model Checking |
ICRA
2008
IEEE
14 years 4 months ago
2008
IEEE
— This paper discusses the grasp planning of a multifingered hand attached at the tip of a robotic arm. By using the convex models and the new approximation method of the fricti...
CSFW
1998
IEEE
14 years 2 months ago
1998
IEEE
Model checkers such as FDR have been extremely e ective in checking for, and nding, attacks on cryptographic protocols { see, for example 11, 12, 14] and many of the papers in 3]....
WICSA
2008
13 years 11 months ago
2008
With the spread of the Internet and software evolution in complex intensive systems, software architecture often need be reconfigured during runtime to adapt variable environments...
SMI
2010
IEEE
13 years 8 months ago
2010
IEEE
In this article, we present a rule-based language dedicated to topological operations, based on graph transformations. Generalized maps are described as a particular class of graph...
ICEXSS
2010
13 years 5 months ago
2010
The promise of service orientation is that it enables an organization to prosper by delivering continuous value to customers. This prosperity is of strategic value to the organizat...