458 search results - page 31 / 92 » Designing and executing protocols using the event calculus |
SC
2004
ACM
14 years 2 months ago
2004
ACM
RPC is one of the programming models envisioned for the Grid. In Internet connected Large Scale Grids such as Desktop Grids, nodes and networks failures are not rare events. This ...
WSC
2004
13 years 10 months ago
2004
Simulation and Emulation techniques are fundamental to aid the process of large-scale protocol design and network operations. However, the results from these techniques are often ...
RV
2007
Springer
14 years 3 months ago
2007
Springer
Probabilistic correctness is another important aspect of reliable systems. A soft real-time system, for instance, exhibits probabilistic behaviors from tolerating some degrees of ...
SRDS
1998
IEEE
14 years 15 days ago
1998
IEEE
Abstract: The use of meta-level architectures for the implementation of faulttolerant systems is today very appealing. Nevertheless, all existing fault-tolerant systems based on th...
ISSRE
2006
IEEE
14 years 2 months ago
2006
IEEE
The widespread deployment of graphical-user interfaces (GUIs) has increased the overall complexity of testing. A GUI test designer needs to perform the daunting task of adequately...