7557 search results - page 594 / 1512 » Modeling Timed Concurrent Systems |
225
click to vote
QEST
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed...
152
click to vote
CVPR
1999
IEEE
16 years 9 months ago
1999
IEEE
An approach that allows a user to assist an automatic system in modeling buildings is described. The approach is designed to be efficient in user time and effort while preserving ...
167
click to vote
DSRT
2008
IEEE
16 years 1 months ago
2008
IEEE
We have previously proposed PTIDES (Programming Temporally Integrated Distributed Embedded Systems), a discrete-event framework that binds realtime with model time at sensors, act...
190
click to vote
DBPL
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we develop a new method for solving queries on semistructured data. The main idea is to see a database as a Kripke Transition System (a model) and a query as a formul...
188
click to vote
CIA
2000
Springer
15 years 11 months ago
2000
Springer
This paper, which is expository in nature, investigates and illustrates the idea of using cybernetic system modeling techniques to model a multi-agent community. The cybernetic co...