1239 search results - page 179 / 248 » Applying Model Checking to Concurrent UML Models |
AC
2002
Springer
13 years 9 months ago
2002
Springer
nce of computation has systematically abstracted away the physical world. Embedded software systems, however, engage the physical world. Time, concurrency, liveness, robustness, c...
CONCUR
2006
Springer
14 years 27 days ago
2006
Springer
Event structures have been used for giving true concurrent semantics to languages and models of concurrency such as CCS, Petri nets and graph grammars. Although certain nominal cal...
BIRTHDAY
2010
Springer
13 years 8 months ago
2010
Springer
In certain critical cases the data flow between business departments in banking organizations has to respect security policies known as Chinese Wall or Bell–La Padula. We show t...
CIVR
2005
Springer
14 years 2 months ago
2005
Springer
Automatic image annotation has attracted a lot of attention recently as a method for facilitating semantic indexing and text-based retrieval of visual content. In this paper, we pr...
ICFEM
2000
Springer
14 years 23 days ago
2000
Springer
Use Cases are a wide-spread informal method for specifying the requirements of a technical system in the early development phase. Z is a formal notation which aims to support, bes...