2881 search results - page 427 / 577 » Model Checking for Programming Languages using Verisoft |
194
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
155
click to vote
EUROSYS
2006
ACM
16 years 3 months ago
2006
ACM
Distributed systems are hard to build, profile, debug, and test. Monitoring a distributed system – to detect and analyze bugs, test for regressions, identify fault-tolerance pr...
171
click to vote
AIM
2006
15 years 7 months ago
2006
: The development of the tools of Business Process Management (BPM) arises from the spread of the notion of process in the management universe. The application of BPM to strategic ...
143
click to vote
OOPSLA
2007
Springer
16 years 11 days ago
2007
Springer
Live Sequence Charts (LSCs) is a scenario-based language for modeling object-based reactive systems with liveness properties. A tool called the Play-Engine allows users to create ...
158
click to vote
WMCSA
2002
IEEE
15 years 11 months ago
2002
IEEE
The emergence of pervasive networked data sources, such as web services, sensors, and mobile devices, enables context-sensitive, mobile applications. We have developed a programmi...