1463 search results - page 221 / 293 » Model Checking Implicit-Invocation Systems |
139
click to vote
KES
2007
Springer
15 years 1 months ago
2007
Springer
Chance discovery provides a way to find rare but very important events for future decision making. It can be applied to stock market prediction, earthquake alarm, intrusion detect...
ACSD
2006
IEEE
15 years 7 months ago
2006
IEEE
A schedule of a Petri Net (PN) represents a set of firing sequences that can be infinitely repeated within a bounded state space, regardless of the outcomes of the nondeterminis...
101
click to vote
CIA
2003
Springer
15 years 6 months ago
2003
Springer
Abstract For an information-agent-based system to support virtual (Internet-supported) organisations, changes in environmental conditions often demand changes in organisational beh...
UML
2001
Springer
15 years 5 months ago
2001
Springer
We present a real-time execution semantics for UML activity graphs that is intended for workflow modelling. The semantics is defined in terms of execution algorithms that define...
107
click to vote
AMAST
2000
Springer
15 years 5 months ago
2000
Springer
The primary objective of this paper is to present the deÿnition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It a...