995 search results - page 76 / 199 » Wire-speed total order |
114
Voted
ICICS
2003
Springer
15 years 9 months ago
2003
Springer
With emerging decentralized technologies, peer-to-peer (P2P) content distribution arises as a new model for storage and transmission of data. In this scenario, one peer can be play...
131
Voted
FASE
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...
134
Voted
DSN
2000
IEEE
15 years 8 months ago
2000
IEEE
Reliable many-to-many multicasting of messages is an integral part of group communication systems. Such systems typically employ a reliable multicast protocol that operates below ...
125
Voted
ICECCS
2000
IEEE
15 years 8 months ago
2000
IEEE
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
130
Voted
ECP
1999
Springer
15 years 8 months ago
1999
Springer
We extend a planning algorithm to cover simple forms of arithmetics. The operator preconditions can refer to the values of numeric variables and the operator postconditions can mod...