4809 search results - page 572 / 962 » Scalable Analysis of Scalable Systems |
193
click to vote
SIGOPSE
2004
ACM
16 years 9 days ago
2004
ACM
We propose the Firecracker protocol for data dissemination in wireless sensor networks. Firecracker uses a combination of routing and broadcasts to rapidly deliver a piece of data...
179
click to vote
CSL
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. Applications in software verification often require determining the satisfiability of first-order formulæ with respect to some background theories. During development...
200
click to vote
DSRT
2003
IEEE
16 years 5 days ago
2003
IEEE
Many-to-many multicast transmission is an essential network capability for scalable distributed simulation. The many open issues that make network-layer multicast impractical over...
181
click to vote
COOPIS
2002
IEEE
15 years 12 months ago
2002
IEEE
Abstract. In recent years ontologies – shared conceptualizations of some domain – are increasingly seen as the key to further automation of information processing. Although man...
159
click to vote
VL
2002
IEEE
15 years 11 months ago
2002
IEEE
There is a range of modelling notations, both textual and diagrammatic, whose semantics are based on first-order predicate logic. This paper presents a visual framework for organ...