8828 search results - page 302 / 1766 » Formal methods in practice |
150
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
Phase noise is a topic of theoretical and practical interest in electronic circuits, as well as in other fields such as optics. Although progress has been made in understanding th...
221
click to vote
DCOSS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. We develop a practical, distributed algorithm to detect events, identify measurement errors, and infer missing readings in ecological applications of wireless sensor netw...
170
Voted
ICNP
2006
IEEE
16 years 22 days ago
2006
IEEE
— In a wormhole attack, wireless transmissions are recorded at one location and replayed at another, creating a virtual link under attacker control. Proposed countermeasures to t...
178
click to vote
ACMICEC
2004
ACM
16 years 4 days ago
2004
ACM
Public administrations of all over the world invest an enormous amount of resources in e-government. How the success of egovernment can be measured is often not clear. E-governmen...
186
click to vote
SDM
2008
SIAM
15 years 8 months ago
2008
SIAM
In this paper we explore private computation built on vector addition and its applications in privacypreserving data mining. Vector addition is a surprisingly general tool for imp...