752 search results - page 80 / 151 » Abstract models for dialogue protocols |
130
Voted
VTC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract The concept of providing mobile Internet connectivity for passengers in public transport vehicles, where users connect to a local network that attaches to the Internet v...
113
click to vote
IWQOS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Object detection quality and network lifetime are two conflicting aspects of a sensor network, but both are critical to many sensor applications such as military surveil...
143
Voted
DCOSS
2010
Springer
15 years 3 months ago
2010
Springer
Synchronization is widely considered as an important service in distributed systems which may simplify protocol design. Phase clock is a general synchronization tool that provides ...
154
click to vote
IWFM
2000
15 years 5 months ago
2000
ct Increasingly, model checking is being applied to more abstract problem domains than the traditional protocol analysis. The extent to which such an approach is able to provide us...
135
Voted
ICALP
2010
Springer
15 years 5 months ago
2010
Springer
d Abstract) Benny Applebaum1 , Yuval Ishai2 , and Eyal Kushilevitz3 1 Computer Science Department, Weizmann Institute of Science 2 Computer Science Department, Technion and UCLA 3 ...