3828 search results - page 9 / 766 » Proof-Based System Engineering Using a Virtual System Model |
ENTCS
2008
13 years 7 months ago
2008
Hybrid Chi is a process algebra for the modeling and analysis of hybrid systems. It enables modular specification of hybrid systems by means of a large set of atomic statements an...
IJVR
2006
13 years 7 months ago
2006
This paper describes a unified approach to virtual reality platform and treat this domain as a whole whereas the cognitive, psychological and physical aspects of helping people are...
SAINT
2005
IEEE
14 years 1 months ago
2005
IEEE
We are developing a virtual city system with a model that consists of virtual architectural objects and virtual creatures, geographically overlaid onto the real world. People who ...
ANSS
2001
IEEE
13 years 11 months ago
2001
IEEE
A Complex Adaptive System (CAS) is a network of communicating, intelligent agents where each agent adapts its behavior in order to collaborate with other agents to achieve overall...
MSS
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper proposes STORAGEDB: a paradigm for implementing storage virtualation using databases. It describes details for storing the logical-to-physical mapping information as ta...