318 search results - page 43 / 64 » SARI-SQL: Event Query Language for Event Analysis |
ICDE
2008
IEEE
14 years 8 months ago
2008
IEEE
In this paper, we are concerned with the distributed monitoring of P2P systems. We introduce the P2P Monitor system and a new declarative language, namely P2PML, for specifying mo...
LREC
2010
13 years 9 months ago
2010
We present CAVaT, a tool that performs Corpus Analysis and Validation for TimeML. CAVaT is an open source, modular checking utility for statistical analysis of features specific t...
MODELS
2010
Springer
13 years 6 months ago
2010
Springer
A feature represents a functional requirement fulfilled by a system. Since many maintenance tasks are expressed in terms of features, it is important to establish the corresponden...
HICSS
2000
IEEE
13 years 12 months ago
2000
IEEE
This paper proposes a two-level theoretical framework for the study of CMC illustrating the principles of mediation and contextual analysis. Based on log files and interviews from...
CONCUR
1990
Springer
13 years 11 months ago
1990
Springer
In this paper we describe the calculus TCCS, an extension of the process algebra CCS with temporal constructs. The calculus is useful for the formal analysis of the timing aspects...