388 search results - page 37 / 78 » Quantifying Similarities Between Timed Systems |
DEBU
1998
14 years 11 months ago
1998
Applications that rely on replicated data have different requirements for how their data is managed. For example, some applications may require that updates propagate amongst repl...
MEMBRANE
2009
Springer
15 years 6 months ago
2009
Springer
would be an abstract answer (because it would not immediately link a formal model with the biological reality that inspired it or with possible implementations) from the other hand...
115
click to vote
CONCURRENCY
1998
14 years 11 months ago
1998
The JPVM library is a software system for explicit message-passing based distributed memory MIMD parallel programming in Java. The library supports an interface similar to the C a...
107
click to vote
IGPL
2010
14 years 10 months ago
2010
In this paper we investigate how to represent and reason about legal abrogations and annulments in Defeasible Logic. We examine some options that embed in this setting, and in simi...
DSN
2007
IEEE
15 years 6 months ago
2007
IEEE
Enterprise storage systems typically contain multiple storage tiers, each having its own performance, reliability, and recoverability. The primary motivation for this multi-tier o...