963 search results - page 65 / 193 » Formal Analysis of BPMN Models Using Event-B |
136
click to vote
CSFW
2005
IEEE
15 years 7 months ago
2005
IEEE
Availability is a critical issue in modern distributed systems. While many techniques and protocols for preventing denial of service (DoS) attacks have been proposed and deployed ...
138
click to vote
FM
2008
Springer
15 years 2 months ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
110
click to vote
FUIN
2007
15 years 1 months ago
2007
Abstract. Approximate Petri nets (AP-nets) can be used for the knowledge representation and approximate reasoning. The AP-net model is defined on the basis of the rough set approa...
115
click to vote
FORTE
2010
15 years 2 months ago
2010
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...
116
click to vote
UML
2004
Springer
15 years 6 months ago
2004
Springer
Being part of domain engineering, domain analysis enables identifying domains and capturing their ontologies in order to assist and guide system developers to design domain-specifi...