4305 search results - page 538 / 861 » Analysing Protocol Implementations |
161
click to vote
MIDDLEWARE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The emergence of handheld devices associated with wireless technologies has introduced new challenges for middleware. First, mobility is becoming a key characteristic; mo...
137
click to vote
MOBICOM
2004
ACM
15 years 10 months ago
2004
ACM
Capacity improvement is one of the principal challenges in wireless networking. We present a link-layer protocol called Slotted Seeded Channel Hopping, or SSCH, that increases the...
142
Voted
WPES
2004
ACM
15 years 10 months ago
2004
ACM
The growing popularity of inexpensive, portable recording devices, such as cellular phone cameras and compact digital audio recorders, presents a significant new threat to privac...
203
click to vote
E4MAS
2004
Springer
15 years 10 months ago
2004
Springer
The increasing ubiquity of mobile computing devices has made mobile ad hoc networks an everyday occurrence. Applications in these networks are commonly structured as a logical netw...
170
Voted
ICFEM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...