1402 search results - page 47 / 281 » Distributed Integrity Checking for Systems with Replicated D... |
117
click to vote
ECLIPSE
2006
ACM
15 years 7 months ago
2006
ACM
In this work we present an Eclipse plug-in for the VInTiMe (Verifier of INtegrated TImed ModEls)1 suite of tools that combines high-level expressive power, unassisted propertypres...
147
click to vote
DS
1992
15 years 4 months ago
1992
In this paper, we present methods for supporting autonomous updates in replicated databases. Autonomous updates are of particular importance to applications that cannot tolerate t...
128
Voted
GI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract: A key idea of architecture is the description of components and their connections. This information can be extended to define the horizontal and vertical distribution of...
145
Voted
FMCO
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
125
click to vote
SIGMETRICS
2002
ACM
15 years 3 months ago
2002
ACM
Decentralized and unstructured peer-to-peer networks such as Gnutella are attractive for certain applications because they require no centralized directories and no precise contro...