10038 search results - page 232 / 2008 » Model Checking for Managers |
154
click to vote
ENTCS
2006
15 years 5 months ago
2006
The project Safe Pointers by Graph Transformation at the University of York has developed a method for specifying the shape of pointer-data structures by graph reduction, and a st...
149
click to vote
IJDE
2007
15 years 5 months ago
2007
Inconsistencies in various data structures, such as missing log records and modified operating system files, have long been used by intrusion investigators and forensic analysts a...
158
click to vote
AIM
2006
15 years 6 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 ...
163
click to vote
VLDB
2002
ACM
15 years 5 months ago
2002
ACM
Extensibility is one of the mayor benefits of object-relational database management systems. We have used this system property to implement a StateMachine Module inside an object-...
139
click to vote
PPDP
2009
Springer
15 years 12 months ago
2009
Springer
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...