318 search results - page 18 / 64 » SARI-SQL: Event Query Language for Event Analysis |
STTT
2010
13 years 7 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
ISORC
2005
IEEE
14 years 2 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
VL
1996
IEEE
14 years 28 days ago
1996
IEEE
This paper describes three new visual languages for use in the coordination of collaborative work in large CSCW environments. EVPL describes work plans and is used to define the c...
BMCBI
2007
13 years 8 months ago
2007
Background: The Affymetrix™ technology is nowadays a well-established method for the analysis of gene expression profiles in cancer research studies. However, changes in gene ex...
CVPR
2004
IEEE
14 years 10 months ago
2004
IEEE
This paper presents a spatio-temporal query language useful for video interpretation and event recognition. The language is suited to describe configurations of objects moving on ...