358 search results - page 22 / 72 » Report on Generic Case Complexity |
136
click to vote
SRDS
2010
IEEE
15 years 1 months ago
2010
IEEE
We address the problem of providing transparent, lightweight, fault-tolerance mechanisms for generic peer-to-peer middleware systems. The main idea is to use the peer-to-peer overl...
147
Voted
WSC
2001
15 years 5 months ago
2001
This paper reports on continuing work that concerns research into the development of a commercial off the shelf (COTS) distributed simulation environment (federation) using the Ge...
119
Voted
GPCE
2007
Springer
15 years 7 months ago
2007
Springer
Large scale software is composed of libraries produced by different entities. Non-intrusive and efficient mechanisms for adapting data structures from one library to conform to AP...
117
Voted
DSN
2007
IEEE
15 years 10 months ago
2007
IEEE
Web-services are supported by a complex software infrastructure that must provide a robust service to the client applications. This practical experience report presents a practica...
133
Voted
CAV
2010
Springer
15 years 7 months ago
2010
Springer
We present an approach to monitoring system policies. As a specification language, we use an expressive fragment of a temporal logic, which can be effectively monitored. We repor...