383 search results - page 59 / 77 » Testing Concurrent Systems: A Formal Approach |
76
Voted
CAISE
2006
Springer
15 years 1 months ago
2006
Springer
Enterprise modeling involves multiple domains of expertise: requirements engineering, business process modeling, IT development etc. Our experience has shown that hierarchical ente...
107
click to vote
GLVLSI
2007
IEEE
15 years 1 months ago
2007
IEEE
he abstract and simple computation and communication mechanism in the synchronous computational model it is easy to simulate synchronous systems and to apply formal verification m...
103
click to vote
AAAI
2007
14 years 12 months ago
2007
General Game Playing (GGP) is the art of designing programs that are capable of playing previously unknown games of a wide variety by being told nothing but the rules of the game....
HICSS
1999
IEEE
15 years 1 months ago
1999
IEEE
Advances in EDI (Electronic Data Interchange) demand appropriate controls in order to realize the potential benefits from it. Formal, informal, and automated controls are basic pa...
IFM
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...