2775 search results - page 411 / 555 » Visualizing abstract events |
171
click to vote
BNCOD
2008
15 years 8 months ago
2008
Abstract. We introduce a query language over sensors, streams and relations and formally describe its semantics. Although the language was specifically designed for sensor network ...
143
click to vote
FIW
2007
15 years 8 months ago
2007
Abstract. One approach to system development is to decompose the requirements into features and specify the individual features before composing them. A major limitation of deferri...
193
click to vote
CLIMA
2004
15 years 7 months ago
2004
Abstract. In recent years, within the planning literature there has been a departure from approaches computing total plans for given goals, in favour of approaches computing partia...
161
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
Abstract. Virtual Organizations (VOs) are an emerging business model in today's Internet economy. Increased specialization and focusing on an organization's core competen...
154
click to vote
FORTE
2004
15 years 7 months ago
2004
Abstract. We propose a framework for intrusion detection that is based on runtime monitoring of temporal logic specifications. We specify intrusion patterns as formulas in an expre...