388 search results - page 37 / 78 » Quantifying Similarities Between Timed Systems |
DEBU
1998
13 years 8 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
14 years 3 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...
CONCURRENCY
1998
13 years 8 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...
IGPL
2010
13 years 7 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
14 years 3 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...