5084 search results - page 663 / 1017 » Proving Possibility Properties |
168
click to vote
HPCC
2007
Springer
16 years 29 days ago
2007
Springer
Disaster recovery solutions have gained popularity in the past few years because of their ability to tolerate disasters and to achieve the reliability and availability. Data replic...
174
click to vote
IPSN
2007
Springer
16 years 28 days ago
2007
Springer
We consider the problem of approximating a family of isocontours in a sensor field with a topologically-equivalent family of simple polygons. Our algorithm is simple and distribu...
182
click to vote
OTM
2007
Springer
16 years 28 days ago
2007
Springer
In this paper we introduce Web Objects in XML (WOX) as a web protocol for distributed objects, which uses HTTP as its transport protocol and XML as its format representation. It al...
186
click to vote
PERVASIVE
2007
Springer
16 years 27 days ago
2007
Springer
We propose a method through which dynamic sensor nodes determine that they move together, by communicating and correlating their movement information. We describe two possible solu...
175
click to vote
PPDP
2007
Springer
16 years 27 days ago
2007
Springer
Non-confluent and non-terminating rewrite systems are interesting from the point of view of programming. In particular, existing functional logic languages use such kind of rewri...