1980 search results - page 294 / 396 » Compositional Model Checking of Real Time Systems |
236
click to vote
POPL
2009
ACM
16 years 3 months ago
2009
ACM
We study modular, automatic code generation from hierarchical block diagrams with synchronous semantics. Such diagrams are the fundamental model behind widespread tools in the emb...
101
click to vote
PVLDB
2010
15 years 1 months ago
2010
Large-scale event systems are becoming increasingly popular in a variety of domains. Event pattern evaluation plays a key role in monitoring applications in these domains. Existin...
110
click to vote
VRST
2006
ACM
15 years 9 months ago
2006
ACM
Some tasks vital to many mixed and augmented reality systems are either too time consuming or complex to be carried out whilst the system is active. 3D scene modelling and labelli...
153
click to vote
BMCBI
2010
15 years 3 months ago
2010
nd: Gene regulatory network is an abstract mapping of gene regulations in living cells that can help to predict the system behavior of living organisms. Such prediction capability...
127
click to vote
COR
2004
15 years 3 months ago
2004
We analyze a multi-server priority queueing system with partial buffer sharing, where the input is a discrete autoregressive process of order 1 (DAR(1)) which is known as a good m...