2607 search results - page 325 / 522 » On the Architecture of System Verification Environments |
188
click to vote
SIGMOD
2000
ACM
15 years 11 months ago
2000
ACM
We present MOCHA, a new self-extensible database middleware system designed to interconnect distributed data sources. MOCHA is designed to scale to large environments and is based...
188
click to vote
MM
1993
ACM
15 years 10 months ago
1993
ACM
This paper describes a stand-alone network-based video capture and processing peripheral (the Vidboard) for a distributed multimedia system centered around a gigabit-per-second As...
166
click to vote
ECMDAFA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this paper we report on a feasibility study in reengineering legacy systems towards a model-driven architecture (MDA). Steps in our approach consist of (1) parsing the...
177
click to vote
CATA
2003
15 years 8 months ago
2003
In a real-time system, it is attractive to use cluster computing system for realizing high performance and high availability. The objectives of the real-time clusters are maximize...
217
click to vote
ECAI
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. For autonomous systems such as unmanned aerial vehicles to successfully perform complex missions, a great deal of embedded reasoning is required at varying levels of abst...