1804 search results - page 296 / 361 » On set systems with a threshold property |
138
click to vote
FMCO
2007
Springer
16 years 11 days ago
2007
Springer
We present a language and a program analysis that certifies the safe use of flexible resource management idioms, in particular advance reservation or “block booking” of costl...
188
click to vote
PAIRING
2007
Springer
16 years 10 days ago
2007
Springer
This paper puts forward new efficient constructions for public-key broadcast encryption that simultaneously enjoy the following properties: receivers are stateless; encryption is c...
154
click to vote
ISSTA
2006
ACM
16 years 4 days ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
167
click to vote
SIGSOFT
2006
ACM
16 years 4 days ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
165
click to vote
ICRA
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract— Recent research trends and technology developments are bringing us closer to the realization of autonomous multirobot systems performing increasingly complex missions. ...