1268 search results - page 75 / 254 » Verifying distributed systems: the operational approach |
190
click to vote
VEE
2006
ACM
16 years 2 days ago
2006
ACM
The progress towards programming methodologies that simplify the work of the programmer involves automating, whenever possible, activities that are secondary to the main task of d...
190
click to vote
MDM
2010
Springer
15 years 4 months ago
2010
Springer
— We introduce a novel strategy for data processing in Wireless Sensor Networks (WSNs) in the case of emergency fire evacuation with stringent delay constraints. Such networks sh...
179
click to vote
COMCOM
1998
15 years 5 months ago
1998
Although distributed object computing has developed rapidly over the past decade, and is now becoming commercially important, there remain key application areas inadequately suppo...
144
click to vote
EDOC
2003
IEEE
15 years 11 months ago
2003
IEEE
Distributed System design is a highly complicated and non-trivial task. The problem is characterised by the need to design multi-threaded, multi-processor, and multimedia systems....
186
click to vote
KIVS
2009
Springer
16 years 21 days ago
2009
Springer
We present an integrated approach for supporting in-network sensor data processing in dynamic and heterogeneous sensor networks. The concept relies on data stream processing techni...