911 search results - page 68 / 183 » The Semantics of Event Prevention |
LOGCOM
2010
14 years 4 months ago
2010
When monitoring a system wrt. a property defined in a temporal logic such as LTL, a major concern is to settle with an adequate interpretation of observable system events; that is,...
SAC
2010
ACM
15 years 3 months ago
2010
ACM
Hermes is an ontology-based framework for building news personalization services. This framework consists of a news classification phase, which classifies the news, a knowledge ...
ER
2006
Springer
15 years 1 months ago
2006
Springer
: Data Provenance refers to the lineage of data including its origin, key events that occur over the course of its lifecycle, and other details associated with data creation, proce...
ROOM
2000
14 years 11 months ago
2000
This paper proposes a revised semantic interpretation of UML Statechart Diagrams which ensures, under the specified design rules, that Statecharts may be constructed to have true ...
WISE
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper describes MEAT (Memory of Experiments for the Analysis of Transcriptomes), a project aiming at supporting biologists working on DNA microarrays. We provide met...