1521 search results - page 62 / 305 » On Sampled Semantics of Timed Systems |
EMSOFT
2006
Springer
14 years 2 months ago
2006
Springer
We describe a simple scheme for mapping synchronous language models, in the form of Boolean Mealy Machines, into timed automata. The mapping captures certain idealized implementat...
PERCOM
2005
ACM
14 years 10 months ago
2005
ACM
An event correlation is becoming an important service in event-based middleware allowing subscribers in publish/subscribe paradigm to consume patterns of events (composite events)...
DEXAW
2007
IEEE
14 years 5 months ago
2007
IEEE
The semantic web represents meta-data as a relation of triples using the RDF data model. We have developed a virtual repository system that enables to process queries to RDF views...
PADO
2001
Springer
14 years 3 months ago
2001
Springer
This paper describes a run-time specialization system for the Java language. One of the main difficulties of supporting the full Java language resides in a sound yet effective ma...
AUSAI
2009
Springer
14 years 5 months ago
2009
Springer
Model checking games are instances of Hintikka’s game semantics for logic used for purposes of debugging systems verification models. Previous work in the area has developed the...