2607 search results - page 69 / 522 » On the Architecture of System Verification Environments |
100
click to vote
AMI
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We propose SAGE, an agent-based environment monitoring and control system based on computation logic. SAGE uses forward chaining deductive inference to map low level sens...
106
click to vote
AISADM
2005
Springer
15 years 5 months ago
2005
Springer
Meta-learning system for KDD is an open and evolving platform for efficient testing and intelligent recommendation of data mining process. Metalearning is adopted to automate the s...
113
click to vote
CAEPIA
2003
Springer
15 years 5 months ago
2003
Springer
The Partitioning problem is a key issue in the design of Distributed Virtual Environment (DVE) systems based on a server-network architecture. This problem consist of efficiently ...
DAGSTUHL
2009
15 years 28 days ago
2009
Modelling architectural information is particularly important because of the acknowledged crucial role of software architecture in raising the level of abstraction during developme...
106
click to vote
PARA
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. Distributed cluster environments are becoming popular platforms for high performance computing in lieu of single-vendor supercomputers. However, the reliability and susta...