4934 search results - page 357 / 987 » Implementing an API for Distributed Adaptive Computing Syste... |
197
click to vote
ARTS
1999
Springer
15 years 11 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
251
click to vote
MOBIHOC
2012
ACM
13 years 9 months ago
2012
ACM
Mobile devices are increasingly being relied on for services that go beyond simple connectivity and require more complex processing. Fortunately, a mobile device encounters, possi...
183
click to vote
ICDCS
2006
IEEE
16 years 28 days ago
2006
IEEE
A peer-to-peer (P2P) storage system allows a network of peer computers to increase the availability of their data by replicating it on other peers in the network. In such networks...
169
Voted
PDCAT
2005
Springer
16 years 11 days ago
2005
Springer
Large-Scale network such as the Internet consist of a large number of sub-networks. Since each subnetwork has management privileges and policies individually, it is difficult to r...
176
Voted
ICDCS
1998
IEEE
15 years 11 months ago
1998
IEEE
Network applications and services need to be environment-aware in order to meet non-functional requirements in increasingly dynamic contexts. In this paper we consider partition a...