434 search results - page 34 / 87 » Structural Operational Semantics for Weighted Transition Sys... |
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]...
ICDCSW
2006
IEEE
15 years 3 months ago
2006
IEEE
Business-to-business (B2B) data exchange and integration is a common daily operation in today’s organizations. These operations are crucial since they affect organizations’ ca...
158
click to vote
VLDB
2006
ACM
15 years 10 months ago
2006
ACM
CQL, a Continuous Query Language, is supported by the STREAM prototype Data Stream Management System at Stanford. CQL is an expressive SQL-based declarative language for registeri...
JSYML
2006
14 years 9 months ago
2006
The quantified relevant logic RQ is given a new semantics in which a formula xA is true when there is some true proposition that implies all x-instantiations of A. Formulae are mo...
FASE
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. UML-RT is an extension of UML for modelling embedded reactive and real-time software systems. Its particular focus lies on system descriptions on the architectural level,...