525 search results - page 17 / 105 » Model Checking Systems of Replicated Processes with Spin |
110
click to vote
IS
2008
15 years 12 days ago
2008
Many companies have adopted Process-aware Information Systems (PAIS) to support their business processes in some form. On the one hand these systems typically log events (e.g., in ...
ICIP
2006
IEEE
16 years 2 months ago
2006
IEEE
The substitution of physical bank check exchange by electronic check image transfer brings agility, security and cost reduction to the clearing system. In this paper, we propose a...
WSC
2001
15 years 1 months ago
2001
The Joint Warfare System (JWARS) is being equipped with a growing set of tools for microanalysis of single replications and for macro-analysis across multiple replications. These ...
113
click to vote
ISMB
1993
15 years 1 months ago
1993
Understanding self-replication from an information processing perspective is important because, amongother things, it can shed light on molecular mechanismsof biological reproduct...
90
Voted
EDO
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We demonstratehow the use of synchronizationprimitives and threading policies in distributed object middleware can lead to deadlocks. We identify that objectmiddleware on...