577 search results - page 53 / 116 » Model Checking Based on Simultaneous Reachability Analysis |
IUI
2003
ACM
14 years 2 months ago
2003
ACM
Interactive tools to help users author plans or processes are essential in a variety of domains. KANAL helps users author sound plans by simulating them, checking for a variety of...
SPIN
2010
Springer
13 years 7 months ago
2010
Springer
This paper addresses the problem of verifying programs for the relaxed memory models implemented in modern processors. Specifically, it considers the TSO (Total Store Order) relax...
BPM
2008
Springer
13 years 11 months ago
2008
Springer
A given business process may face a large number of regulatory obligations the process may or comply with. Providing tools and techniques through which an evaluation of the complia...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
—Today, international mobile roaming (IMR) is experiencing changes both in terms of technology and business models. Traditionally, voice and SMS have been the only services offer...
ICRA
2002
IEEE
14 years 2 months ago
2002
IEEE
- Some of manufacturing tasks such as sawing task often requires continuous impulsive motion. In case of sawing task, such impulsive motions can be observed between the teeth of th...