1239 search results - page 190 / 248 » Applying Model Checking to Concurrent UML Models |
SBMF
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
ASE
1999
13 years 9 months ago
1999
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...
CISC
2009
Springer
13 years 7 months ago
2009
Springer
The anticipation game framework is an extension of attack graphs based on game theory. It is used to anticipate and analyze intruder and administrator concurrent interactions with ...
BIRTHDAY
2009
Springer
14 years 4 months ago
2009
Springer
The Knowledge Base Management Systems (KBMS) Project at the University of Toronto (1985-1995) was inspired by a need for advanced knowledge representation applications that require...
BIRTHDAY
2004
Springer
14 years 2 months ago
2004
Springer
Ternary algebra has been used for detection of hazards in logic circuits since 1948. Process spaces have been introduced in 1995 act models of concurrent processes. Surprisingly, p...