3218 search results - page 475 / 644 » Timed Extensions for SDL |
183
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for the genetic regulatory networks (Grns) that govern the functioning of livi...
151
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
Multi-valued Model Checking is an extension of classical, two-valued model checking with multi-valued logic. Multi-valuedness has been proved useful in expressing additional inform...
152
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Business processes provide a means of coordinating interactions between workers and organisations in a structured way. However the dynamic nature of the modern business e...
184
click to vote
CC
2008
Springer
15 years 8 months ago
2008
Springer
Application debugging is a tedious but inevitable chore in any software development project. An effective debugger can make programmers more productive by allowing them to pause ex...
180
click to vote
APN
2006
Springer
15 years 8 months ago
2006
Springer
Program verification is usually done by adding specifications and invariants to the program and then proving that the verification conditions are all true. This makes program verif...