1711 search results - page 248 / 343 » Completing pseudojump operators |
135
click to vote
ROBOCUP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The default solution for mobile robot communication is RFnetworking, typically based on one of the IEEE 802.11 standards also known as WLAN technology. Radio communicatio...
145
click to vote
RTA
2005
Springer
15 years 11 months ago
2005
Springer
Proofs of equalities may be built from assumptions using proof rules for reflexivity, symmetry, and transitivity. Reflexivity is an axiom proving x=x for any x; symmetry is a 1-p...
160
click to vote
VSTTE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
175
click to vote
ACMICEC
2004
ACM
15 years 11 months ago
2004
ACM
Electronic voting has become one of the most popular activities over the Internet. Security and privacy are always regarded as crucial factors in electronic voting system design. ...
184
click to vote
MOBICOM
2004
ACM
15 years 11 months ago
2004
ACM
A new modeling framework is introduced for the analytical study of medium access control (MAC) protocols operating in multihop ad hoc networks. The model takes into account the eï...