18924 search results - page 27 / 3785 » Conformance of Distributed Systems |
163
click to vote
ECOOPW
1999
Springer
15 years 10 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...
178
Voted
EMSOFT
2005
Springer
15 years 12 months 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...
153
click to vote
OTM
2007
Springer
16 years 17 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...
199
click to vote
NDSS
2005
IEEE
16 years 6 hour 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...
158
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...