1753 search results - page 223 / 351 » State Machines |
156
click to vote
PODC
1994
ACM
15 years 8 months ago
1994
ACM
Workstation clusters are becoming an interesting alternative to dedicated multiprocessors. In this environment, the probability of a failure, during an application's executio...
145
click to vote
LPNMR
2001
Springer
15 years 8 months ago
2001
Springer
Schlipf (Sch95) proved that Stable Logic Programming (SLP) solves all NP decision problems. We extend Schlipf’s result to prove that SLP solves all search problems in the class ...
148
click to vote
SOSP
2005
ACM
16 years 1 months ago
2005
ACM
This paper describes a general approach to constructing cooperative services that span multiple administrative domains. In such environments, protocols must tolerate both Byzantin...
153
click to vote
CSFW
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract. The focus of work on information flow security has primarily been on definitions of security in asynchronous systems models. This paper considers systems with scheduler...
174
click to vote
ECMDAFA
2005
Springer
15 years 10 months ago
2005
Springer
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...