4934 search results - page 970 / 987 » complexity 2008 |
ECOOP
2008
Springer
15 years 1 months ago
2008
Springer
Inheritance is a standard means for reuse and for interfacing with external libraries. In a multi-language software product, extending a class written in a statically-typed languag...
ECOOP
2008
Springer
15 years 1 months ago
2008
Springer
Verification of object-oriented programs relies on object invariants which express consistency criteria of objects. The semantics of object invariants is subtle, mainly because of...
111
click to vote
EDCC
2008
Springer
15 years 1 months ago
2008
Springer
This paper presents the design and implementation of the Distributed Autonomous Replication Management (DARM) framework built on top of the Spread group communication system. The ...
102
click to vote
EKAW
2008
Springer
15 years 1 months ago
2008
Springer
Despite the potential of domain ontologies to provide consensual representations of domain-relevant knowledge, the open, distributed and decentralized nature of the Semantic Web me...
ESORICS
2008
Springer
15 years 1 months ago
2008
Springer
The Border Gateway Protocol (BGP) is the de facto inter-domain routing protocol that connects autonomous systems (ASes). Despite its importance for the Internet infrastructure, BGP...