3108 search results - page 364 / 622 » An Approach to Incremental Design of Distributed Embedded Sy... |
175
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Selecting the right parties to interact with is a fundamental problem in open and dynamic environments. The problem is exemplified when the number of interacting parties is high a...
164
click to vote
INFOCOM
2005
IEEE
16 years 9 days ago
2005
IEEE
— To proactively defend against intruders from readily jeopardizing single-path data sessions, we propose a distributed secure multipath solution to route data across multiple pa...
214
click to vote
AISS
2010
15 years 1 months ago
2010
With the proliferation of the computer Cloud, new software delivery methods were created. In order to build software to fit into one of these models, a scalable, easy to deploy st...
170
click to vote
VSTTE
2005
Springer
16 years 5 days ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
174
Voted
LOCA
2005
Springer
16 years 6 days ago
2005
Springer
In this paper, we present a robust, decentralized approach to RF-based location tracking. Our system, called MoteTrack, is based on low-power radio transceivers coupled with a mode...