10995 search results - page 1928 / 2199 » Positioning |
193
click to vote
SSD
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Modern mobile phones and PDAs are equipped with positioning capabilities (e.g., GPS). Users can access public location-based services (e.g., Google Maps) and ask spatial ...
196
click to vote
TARK
2007
Springer
16 years 24 days ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
164
click to vote
TCC
2007
Springer
16 years 24 days ago
2007
Springer
An obfuscator is a compiler that transforms any program (which we will view in this work as a boolean circuit) into an obfuscated program (also a circuit) that has the same input-...
136
click to vote
TSD
2007
Springer
16 years 24 days ago
2007
Springer
available in the Conference Program). 2007: (with E. Jarmołowicz, Z. Malisz i M. Szczyszek) Gesture, Prosody and Lexicon in ented Dialogues: Progress Report. (Poznań Linguistic M...
194
click to vote
VIZSEC
2007
Springer
16 years 24 days ago
2007
Springer
Abstract Attack graphs for large enterprise networks improve security by revealing critical paths used by adversaries to capture network assets. Even with simplification, current a...