2595 search results - page 194 / 519 » Modes in Asynchronous Systems |
115
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
We present Risk Integrated's Enterprise Spreadsheet Platform (ESP), a technical approach to the near-elimination of spreadsheet risk in the enterprise computing environment, ...
160
click to vote
CONCUR
2001
Springer
15 years 9 months ago
2001
Springer
Bounded model checking has been recently introduced as an efficient verification method for reactive systems. In this work we apply bounded model checking to asynchronous systems....
144
Voted
OPODIS
2007
15 years 6 months ago
2007
We present a novel translation of systems that are tolerant of crash failures to systems that are tolerant of Byzantine failures in an asynchronous environment, making weaker assum...
190
click to vote
CODAS
1996
15 years 6 months ago
1996
Database technologies are indispensable for workflow management system, one of the remarkable groupware supporting asynchronous distributed cooperative work. In this paper, a form...
147
Voted
SPAA
2010
ACM
15 years 5 months ago
2010
ACM
d Abstract) Bertrand Ducourthial Sofiane Khalfallah Franck Petit We propose a group membership service for asynchronous wireless dynamic ad hoc networks. It maintains as long as p...