1268 search results - page 64 / 254 » Verifying distributed systems: the operational approach |
134
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Work in the new millennium requires globally distributed organizational members to collaborate in groups and make decisions. In general, research has shown that groups that use fa...
182
click to vote
IPPS
2003
IEEE
2003
IEEE
Dynamically Loaded Classes as Shared Libraries: An Approach to Improving Virtual Machine Scalability
15 years 11 months ago
Sharing selected data structures among virtual machines of a safe language can improve resource utilization of each participating run-time system. The challenge is to determine wh...
144
click to vote
CONCUR
2006
Springer
15 years 9 months ago
2006
Springer
Traditionally, the various semantics of the process algebra Csp are formulated in denotational style. For many Csp models, e.g., the traces model, equivalent semantics have been gi...
173
click to vote
AICCSA
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract. Workflows are operational business processes. Workfow Management Systems (WFMS) are concerned with the control and coordination of these workflows. In recent years, there...
164
click to vote
DSN
2007
IEEE
16 years 14 days ago
2007
IEEE
A flexible model for estimating reliability of RAID storage systems is presented. This model corrects errors associated with the common assumption that system times to failure fol...