Sciweavers

8493 search results - page 1024 / 1699
» Implementing a distributed firewall
Sort
View
CONCUR
2006
Springer
15 years 11 months ago
Proving Liveness by Backwards Reachability
Abstract. We present a new method for proving liveness and termination properties for fair concurrent programs, which does not rely on finding a ranking function or on computing th...
Parosh Aziz Abdulla, Bengt Jonsson, Ahmed Rezine, ...
244
Voted
COORDINATION
2006
Springer
15 years 11 months ago
Using Lime to Support Replication for Availability in Mobile Ad Hoc Networks
Mobile ad hoc networks (MANETs) define a challenging computing scenario where access to resources is restrained by connectivity among hosts. Replication offers an opportunity to in...
Amy L. Murphy, Gian Pietro Picco
DCOSS
2006
Springer
15 years 11 months ago
Roadmap Query for Sensor Network Assisted Navigation in Dynamic Environments
Abstract. Mobile entity navigation in dynamic environments is an essential part of many mission critical applications like search and rescue and fire fighting. The dynamism of the ...
Sangeeta Bhattacharya, Nuzhet Atay, Gazihan Alanku...
DCOSS
2006
Springer
15 years 11 months ago
Optimal Placement and Selection of Camera Network Nodes for Target Localization
The paper studies the optimal placement of multiple cameras and the selection of the best subset of cameras for single target localization in the framework of sensor networks. The ...
Ali Ozer Ercan, Danny B. Yang, Abbas El Gamal, Leo...
DCOSS
2006
Springer
15 years 11 months ago
MobiRoute: Routing Towards a Mobile Sink for Improving Lifetime in Sensor Networks
Improving network lifetime is a fundamental challenge of wireless sensor networks. One possible solution consists in making use of mobile sinks. Whereas theoretical analysis shows...
Jun Luo, Jacques Panchard, Michal Piórkowsk...
« Prev « First page 1024 / 1699 Last » Next »