3134 search results - page 265 / 627 » Computing full disjunctions |
140
Voted
EUROSYS
2006
ACM
16 years 14 days ago
2006
ACM
Run-time conflicts can affect even the most rigorously tested software systems. A reliance on execution-based testing makes it prohibitively costly to test every possible interac...
120
Voted
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. Ludics is peculiar in the panorama of game semantics: we first have the definition of interaction-composition and then we have semantical types, as a set of strategies ...
120
Voted
ASIACRYPT
2007
Springer
15 years 9 months ago
2007
Springer
An extended abstract of this paper appears in Kaoru Kurosawa (Ed.): Advances in Cryptology ASIACRYPT 2007, volume 4833 of Lecture Notes in Computer Science, pages 265–282, Spring...
236
click to vote
SENSYS
2006
ACM
15 years 9 months ago
2006
ACM
From experience with wireless sensor networks it has become apparent that dynamic reprogramming of the sensor nodes is a useful feature. The resource constraints in terms of energ...
156
click to vote
SIGMETRICS
2006
ACM
15 years 9 months ago
2006
ACM
Despite the existence of several secure BGP routing protocols, there has been little progress to date on actual adoption. Although feasibility for widespread adoption remains the ...