384 search results - page 32 / 77 » Formal Development of Reactive Fault Tolerant Systems |
172
click to vote
CIA
1998
Springer
15 years 8 months ago
1998
Springer
The paradigm of mobile agents offers a powerful and flexible ity to develop distributed applications on a high-level of abstraction. One of the most interesting tasks for mobile ag...
127
click to vote
GI
2004
Springer
15 years 9 months ago
2004
Springer
: Critical industrial applications or fault tolerant applications need for operating systems (OS) which guarantee a correct and safe behaviour despite the appearance of errors. In ...
121
Voted
COMPSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
Critical industrial applications or fault tolerant applications need for operating systems (OS) which guarantee a correct and safe behaviour in spite of the appearance of errors. ...
136
click to vote
DANCE
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper we define and provide a general construction for a class of policies we call dynamic policies. In most existing systems, policies are implemented and enforced by ch...
185
click to vote
ICDCS
2012
IEEE
13 years 6 months ago
2012
IEEE
Today’s largest High Performance Computing (HPC) systems exceed one Petaflops (1015 floating point operations per second) and exascale systems are projected within seven years...