4346 search results - page 651 / 870 » Models of Complex Physical Systems Using Cell-DEVS |
146
Voted
CCGRID
2006
IEEE
15 years 10 months ago
2006
IEEE
The development of many complex simulation applications requires collaborative effort from researchers with different domain knowledge and expertise, possibly at different locatio...
131
click to vote
3DIM
2003
IEEE
15 years 9 months ago
2003
IEEE
We present an Augmented Reality system that relies on purely passive techniques to solve the real-time registration problem. It can run on a portable PC and does not require engin...
132
click to vote
VAST
2004
ACM
15 years 9 months ago
2004
ACM
We discuss a system for the digital capture of museum artefacts which are accumulated into a multimedia repository comprising 3D models, images, video and sound clips as well as t...
133
click to vote
IANDC
2006
15 years 3 months ago
2006
We propose a modular approach to defining notions of simulation, and modal logics which characterise them. We use coalgebras to model state-based systems, relators to define notio...
101
click to vote
IFM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Event-B provides a flexible approach to modelling and refinement of systems. In this paper we outline two important ways in which Event-B refinement can be augmented w...