911 search results - page 96 / 183 » The Semantics of Event Prevention |
DALT
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We propose a declarative framework for modelling multi-agent systems and specify a number of properties of these systems and agents within them. The framework is parametr...
ICIP
1999
IEEE
15 years 2 months ago
1999
IEEE
This paper proposes two DSs to describe the visual information of an AV document. The first one, is devoted to still images. It describes the image visual appearance and its struc...
RWEB
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. The Web and the Semantic Web, as we see it, can be understood as a “living organism” combining autonomously evolving data sources, each of them possibly reacting to e...
ICTAC
2004
Springer
15 years 3 months ago
2004
Springer
Scenario based requirements specifications are the industry norm for defining communication protocols. Basic scenarios captured as UML sequence diagrams, Message Sequence Charts ...
COMPSAC
2007
IEEE
15 years 1 months ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...