254 search results - page 13 / 51 » Extended Process Rewrite Systems: Expressiveness and Reachab... |
123
Voted
ATVA
2006
Springer
15 years 1 months ago
2006
Springer
Whereas partial order methods have proved their efficiency for the analysis of discrete-event systems, their application to timed systems remains a challenging research topic. Here...
CSL
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. One-counter processes are pushdown processes over a singleton stack alphabet (plus a stack-bottom symbol). We study the problems of model checking asynchronous products o...
MODELS
2007
Springer
15 years 3 months ago
2007
Springer
The specification of business processes is becoming a more and more critical aspect for organizations. Such processes are specified as workflow models expressing the logical preced...
COOPIS
2003
IEEE
15 years 2 months ago
2003
IEEE
The use of semantic knowledge in its various forms has become an important aspect in managing data in database and information systems. In the form of integrity constraints, it ha...
JCP
2008
14 years 9 months ago
2008
Fault detection in large-scale systems is conducted by the use of sensors, thus the sensor location influences the performances of fault detection directly. As the scale of systems...