2873 search results - page 348 / 575 » Model Checking and the Mu-calculus |
139
Voted
ICRA
2008
IEEE
15 years 10 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...
154
click to vote
SPIN
2007
Springer
15 years 10 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
150
click to vote
WEBI
2007
Springer
15 years 10 months ago
2007
Springer
Growth in the mobile services industry has remarkably increased in the number of mobile services provided, and present methods of service provision have proven insufficient to gui...
125
Voted
FDL
2005
IEEE
15 years 9 months ago
2005
IEEE
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
125
click to vote
ADC
2004
Springer
15 years 9 months ago
2004
Springer
A complete workflow specification requires careful integration of many different process characteristics. Decisions must be made as to the definitions of individual activities, th...