1268 search results - page 156 / 254 » Verifying distributed systems: the operational approach |
IPSN
2004
Springer
14 years 4 months ago
2004
Springer
We propose a distributed on-demand power-management protocol for collecting data in sensor networks. The protocol aims to reduce power consumption while supporting fluctuating dem...
DEBS
2010
ACM
14 years 3 months ago
2010
ACM
Today’s organisations require techniques for automated transformation of the large data volumes they collect during their operations into operational knowledge. This requirement...
ICDCS
1996
IEEE
14 years 3 months ago
1996
IEEE
: Software capabilities are a very convenient means to protect co-operating applications. They allow access rights to be dynamically exchanged between mutually suspicious interacti...
SI3D
2003
ACM
14 years 4 months ago
2003
ACM
This paper describes a framework for introducing visually smooth surfaces into sketch-based freeform modeling systems. An existing sketch-based freeform modeling system generates ...
AIPS
1994
14 years 16 days ago
1994
An intelligent problem solver must be able to decompose a complex problem into simpler parts. A decomposition algorithm would not only be bene cial for traditional subgoal-oriente...