5599 search results - page 437 / 1120 » Abstract State Services |
210
Voted
ISBRA
2010
Springer
16 years 2 months ago
2010
Springer
d abstract), Nicola Ferraro, Luigi Palopoli, Simona Panni and Simona E. Rombo. Uncovering Hidden Phylogenetic Consensus d abstract), Nicholas Pattengale, Krister Swenson and Bernar...
214
Voted
IFIP
2004
Springer
16 years 1 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
173
Voted
MDM
2004
Springer
16 years 1 months ago
2004
Springer
This position paper looks back and takes stock in the context of mobile agent technologies1 . Our claim is that mobile agent technologies received wrong attention. Partially becau...
161
click to vote
IPTPS
2003
Springer
16 years 26 days ago
2003
Springer
In this paper, we describe an ongoing effort to define common APIs ctured peer-to-peer overlays and the key abstractions that can be built on them. In doing so, we hope to facilit...
208
Voted
APCSAC
2001
IEEE
15 years 11 months ago
2001
IEEE
We present a framework that allows applications to build and customize VM services on the L4 microkernel. While the L4 microkernel's abstractions are quite powerng these abst...