17082 search results - page 62 / 3417 » Abstractions for Mobile Computation |
142
Voted
UIC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Sensor relocation protocols can be employed as fault tolerance approach to offset the coverage loss caused by node failures. We introduce a novel localized structure, in...
131
Voted
AINTEC
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Proactive routing protocols for mobile ad hoc networks currently offer few mechanisms to detect and/or counter malevolent nodes. Stability and performance of most, if not...
141
Voted
EUROSSC
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. In ubiquitous computing environments there are an increasing number and variety of devices that can generate context data. The challenge is to timely acquire, process, an...
134
Voted
UIC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Portable computers are used to store and access sensitive information. They are frequently used in insecure locations with little or no physical protection, and are there...
135
Voted
RP
2009
Springer
15 years 8 months ago
2009
Springer
Counterexamples for Non-disjunctive ions K. L. McMillan1 and L. D. Zuck2 1 Cadence Research Labs 2 University of Illinois at Chicago Counterexample-guided abstraction refinement (...