3828 search results - page 10 / 766 » Proof-Based System Engineering Using a Virtual System Model |
ECBS
2005
IEEE
14 years 1 months ago
2005
IEEE
An autonomic system is structured as a network of autonomic elements that collaborate to achieve the system’s purpose. This paper examines the potential benefit of using well-es...
EUROSYS
2011
ACM
12 years 11 months ago
2011
ACM
IJVR
2006
13 years 7 months ago
2006
In this paper, we will present an overview of existing research in the vast area of IVH systems. We will also present our ongoing work on improving the expressive capabilities of I...
VRML
1999
ACM
13 years 12 months ago
1999
ACM
This paper describes several methods for using the Virtual Reality Modeling Language (VRML) as the visualization integration technology for manufacturing simulation systems. One o...
EMSOFT
2007
Springer
14 years 1 months ago
2007
Springer
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...