2232 search results - page 79 / 447 » Formal Modeling and Analysis of Organizations |
ICFEM
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
128
click to vote
FORTE
1994
15 years 25 days ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
121
click to vote
APN
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
115
click to vote
COMPSAC
2010
IEEE
14 years 9 months ago
2010
IEEE
In distributed IT systems, replication of information is commonly used to strengthen the fault tolerance on a technical level or the autonomy of an organization on a business level...
MICCAI
2003
Springer
16 years 12 days ago
2003
Springer
We demonstrate our mouse MR image and shape analysis pipeline. The long term goal of our work is the description of structural shape variations in normal, genetically identical mic...