16725 search results - page 3023 / 3345 » Engineering Software Correctness |
137
click to vote
FM
2006
Springer
15 years 8 months ago
2006
Springer
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
149
click to vote
AAAI
2008
15 years 7 months ago
2008
The goal of my ongoing work is to provide an architecture for developing and manipulating modular ontologies in such a way that each ontology module can plug into or unplug from a...
155
click to vote
IADIS
2004
15 years 6 months ago
2004
The GoogleTM API enables software agents to query and use search results from the large collections of data available via the ever-popular Google search engine. Web searches using...
167
click to vote
WSC
1997
15 years 6 months ago
1997
Distributed discrete event simulation techniques aim at an acceleration of the execution of a self-contained simulation model by the spatial decomposition of that model and the co...
159
click to vote
IJVR
2006
15 years 4 months ago
2006
In this article we propose an architecture for the inclusion and exploitation of semantic aspects in a CAD environment. Our schema focuses on the enhancement and improvement of a c...