2786 search results - page 89 / 558 » A Practical Technique for Process Abstraction |
166
Voted
SIES
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--Many heterogeneous embedded systems, for example industrial automation and automotive applications, require hard-real time constraints to be exhaustively verified - which...
127
click to vote
OOPSLA
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...
114
click to vote
EMISA
2009
Springer
15 years 8 months ago
2009
Springer
Companies employ business process management suites to model, run, and maintain their processes. These processes are required to comply with requirements originating from standards...
135
click to vote
VLDB
2007
ACM
15 years 7 months ago
2007
ACM
Many enterprises nowadays use business processes, based on the BPEL standard, to achieve their goals. These are complex, often distributed, processes. Monitoring the execution of ...
ICALP
2000
Springer
15 years 5 months ago
2000
Springer
We study the problem of strong/weak bisimilarity between processes of one-counter automata and finite-state processes. We show that the problem of weak bisimilarity between process...