2607 search results - page 183 / 522 » On the Architecture of System Verification Environments |
201
click to vote
LCTRTS
2010
Springer
15 years 4 months ago
2010
Springer
The automotive industry has a growing demand for the seamless integration of safety analysis tools into the model-based development toolchain for embedded systems. This requires t...
205
click to vote
IEEESCC
2005
IEEE
16 years 3 days ago
2005
IEEE
The Service Oriented Architecture (SOA) provides a methodology for designing software systems by integrating loosely coupled services. Compared to traditional distributed object-o...
178
click to vote
ATAL
2004
Springer
15 years 12 months ago
2004
Springer
The goal of autonomic computing is to create computing systems capable of managing themselves to a far greater extent than they do today. This paper presents Unity, a decentralize...
206
click to vote
JMM2
2006
15 years 6 months ago
2006
Abstract-- This paper describes a framework for constructing a three-dimensional immersive environment that can be used for training physical activities. The system is designed to ...
163
click to vote
CODES
2000
IEEE
15 years 11 months ago
2000
IEEE
In current design practice synthesis tools play a key role, letting designers to concentrate on the specificationof the system being designed by carrying out repetitive tasks such...