Sciweavers

221 search results - page 27 / 45
» The cost of not knowing the radius
Sort
View
METRICS
2005
IEEE
14 years 1 months ago
Teaching Evidence-Based Software Engineering to University Students
Evidence-based software engineering (EBSE) describes a process of identifying, understanding and evaluating findings from research and practice-based experience. This process aims...
Magne Jørgensen, Tore Dybå, Barbara A...
ADHOCNOW
2005
Springer
14 years 1 months ago
Location Tracking in Mobile Ad Hoc Networks Using Particle Filters
Mobile ad hoc networks (MANET) are dynamic networks formed on-the-fly as mobile nodes move in and out of each others’ transmission ranges. In general, the mobile ad hoc networki...
Rui Huang, Gergely V. Záruba
ATAL
2005
Springer
14 years 1 months ago
Mechanism design and deliberative agents
The central mechanism design problem is to develop incentives for agents to truthfully reveal their preferences over different outcomes, so that the system-wide outcome chosen by ...
Kate Larson, Tuomas Sandholm
ESORICS
2005
Springer
14 years 1 months ago
Machine-Checked Security Proofs of Cryptographic Signature Schemes
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
Sabrina Tarento
AINA
2010
IEEE
14 years 19 days ago
GEPETO: A GEoPrivacy-Enhancing TOolkit
Abstract—A geolocalised system generally belongs to an individual and as such knowing its location reveals the location of its owner, which is a direct threat against his privacy...
Sébastien Gambs, Marc-Olivier Killijian, Mi...