18924 search results - page 27 / 3785 » Conformance of Distributed Systems |
173
click to vote
ECOOPW
1999
Springer
15 years 11 months ago
1999
Springer
Extensible systems, such as Java or the SPIN extensible operating system, allow for units of code, or extensions, to be added to a running system in almost arbitrary fashion. Exte...
196
click to vote
EMSOFT
2005
Springer
16 years 8 days ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
159
click to vote
OTM
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We study large-scale distributed cooperative systems that use optimistic replication. We represent a system as a graph of actions (operations) connected by edges that rei...
216
click to vote
NDSS
2005
IEEE
16 years 12 days ago
2005
IEEE
We present a solution to the denial of service (DoS) problem that does not rely on network infrastructure support, conforming to the end-to-end (e2e) design principle. Our approac...
172
click to vote
MICCAI
2003
Springer
16 years 7 months ago
2003
Springer
ImLib3D is a C++ library for 3D medical image processing research. It provides a carefully designed, object-oriented, standards conforming C++ library, as well as a separate visual...