2607 search results - page 161 / 522 » On the Architecture of System Verification Environments |
183
click to vote
AIIA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract-- This paper deals with an architecture for knowledge representation suitable for integrated Robotics and Ambient Intelligence applications. The aim of the work is to adop...
186
click to vote
ESCIENCE
2006
IEEE
15 years 10 months ago
2006
IEEE
Instruments and sensors are the primary sources of data driving science and the development and refinement of theory. A critical component of eresearch yet to be clarified is the ...
157
click to vote
VL
1992
IEEE
15 years 10 months ago
1992
IEEE
MAVIS is a dataflow visual languagefor computer vision and image processing. It features a high degree of `liveness' and compliance with user directives, providing ajexible e...
175
click to vote
JOT
2007
15 years 6 months ago
2007
Metadata play crucial role in enterprise interoperability between business, service rmation layers. Metadata in different form, such as the abstract of system structure, aggregati...
159
click to vote
ISCA
1996
IEEE
15 years 10 months ago
1996
IEEE
In the future, advanced integrated circuit processing and packaging technology will allow for several design options for multiprocessor microprocessors. In this paper we consider ...