525 search results - page 25 / 105 » Model Checking Systems of Replicated Processes with Spin |
FM
2009
Springer
15 years 7 months ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
88
Voted
WSC
2004
15 years 1 months ago
2004
This paper describes an approach to real-time decisionmaking for quality of service based scheduling of distributed asynchronous data replication. The proposed approach addresses ...
112
Voted
CSCW
2006
ACM
15 years 6 months ago
2006
ACM
We evaluate response times, in N-user collaborations, of the popular centralized (client-server) and replicated (peer-to-peer) architectures, and a hybrid architecture in which ea...
CAISE
2006
Springer
15 years 4 months ago
2006
Springer
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...
108
click to vote
JSW
2007
15 years 10 days ago
2007
— BPEL (Business Process Execution Language) as a de-facto standard for web service orchestration has drawn particularly attention from researchers and industries. BPEL is a semi...