2034 search results - page 256 / 407 » Declarative Agent Control |
118
click to vote
EUROSSC
2007
Springer
15 years 9 months ago
2007
Springer
We present a new approach for the detection of complex events in Wireless Sensor Networks. Complex events are sets of data points that correspond to interesting or unusual patterns...
111
click to vote
PLDI
2006
ACM
15 years 9 months ago
2006
ACM
In this paper we propose a novel microkernel-based virtual machine (µKVM), a new code-based security framework with a simple and declarative security architecture. The main desig...
111
click to vote
CPAIOR
2004
Springer
15 years 8 months ago
2004
Springer
ng Abstractions for Local Search Pascal Van Hentenryck1 and Laurent Michel2 1 Brown University, Box 1910, Providence, RI 02912 2 University of Connecticut, Storrs, CT 06269-3155 Ab...
158
click to vote
RE
2004
Springer
15 years 8 months ago
2004
Springer
Scenarios and goals are effective and popular techniques for requirements definition. Validation is essential in order to ensure that they represent what stakeholders actually wan...
111
click to vote
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
Abstract— This paper presents a framework for verifying compilation tools for parametrised hardware libraries with placement information. Such libraries are captured in Pebble, a...