911 search results - page 79 / 183 » The Semantics of Event Prevention |
SIGMOD
2002
ACM
14 years 9 months ago
2002
ACM
Service based architectures are a powerful approach to meet the fast evolution of business rules and the corresponding software. An active functionality service that detects event...
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract— In recent years, classical discrete event fault diagnosis techniques have been extended to Petri Net system models under partial order semantics [8], [9], [13]. In [14]...
EACL
1993
ACL Anthology
14 years 11 months ago
1993
ACL Anthology
The interpretation of coercion constructions (to begin a book) has been recently considered as resulting from the operation of type changing. For instance, a phrase of type o (obj...
ATVA
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
WWW
2006
ACM
15 years 10 months ago
2006
ACM
It has become a promising direction to measure similarity of Web search queries by mining the increasing amount of clickthrough data logged by Web search engines, which record the...