3082 search results - page 46 / 617 » Deviation Analysis: A New Use of Model Checking |
153
click to vote
ICSOC
2003
Springer
15 years 10 months ago
2003
Springer
Converting a conventional contract into an electronic equivalent is not trivial. The difficulties are caused by the ambiguities that the original human-oriented text is likely to c...
162
click to vote
BMCBI
2008
15 years 5 months ago
2008
Background: Post-translational modifications have a substantial influence on the structure and functions of protein. Post-translational phosphorylation is one of the most common m...
208
click to vote
IFIP
2010
Springer
15 years 8 days ago
2010
Springer
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
238
click to vote
CLIMA
2011
14 years 5 months ago
2011
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
162
click to vote
MEMOCODE
2003
IEEE
15 years 10 months ago
2003
IEEE
— Modern SAT solvers have proved highly successful in finding counterexamples to temporal properties of systems, using a method known as ”bounded model checking”. It is natu...