13917 search results - page 2713 / 2784 » Abstraction of Probabilistic Systems |
183
click to vote
SAS
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. In this paper we investigate the existence of a deductive veri cation method based on a logic that describes pointer aliasing. The main idea of such a method is that the ...
161
Voted
WISA
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Cryptographic algorithms are used in a large variety of different applications to ensure security services. It is, thus, very interesting to investigate various implement...
191
Voted
HICSS
2003
IEEE
16 years 1 days ago
2003
IEEE
Small ubiquitous devices connected by wireless networks will become future Internet appliances. To support them, communication networks must evolve to seamlessly assist appliances...
179
click to vote
HPDC
2003
IEEE
16 years 1 days ago
2003
IEEE
Abstract. We present PlanetP, a peer-to-peer (P2P) content search and retrieval infrastructure targeting communities wishing to share large sets of text documents. P2P computing is...
212
click to vote
HPDC
2003
IEEE
16 years 1 days ago
2003
IEEE
Increasingly, scalable distributed applications are being constructed by integrating reusable components spanning multiple administrative domains. Dynamic composition and deployme...