5599 search results - page 437 / 1120 » Abstract State Services |
190
click to vote
ISBRA
2010
Springer
16 years 1 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...
187
click to vote
IFIP
2004
Springer
16 years 5 days 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...
156
click to vote
MDM
2004
Springer
16 years 5 days 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...
144
Voted
IPTPS
2003
Springer
16 years 8 hour 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...
183
click to vote
APCSAC
2001
IEEE
15 years 10 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...