2607 search results - page 428 / 522 » On the Architecture of System Verification Environments |
182
click to vote
SAC
2000
ACM
15 years 10 months ago
2000
ACM
Object-oriented modeling and design is a way of solving problems using models based upon real-world concepts. In this paradigm, the fundamental construct is the object, an entity ...
173
click to vote
MM
1996
ACM
15 years 10 months ago
1996
ACM
We present a framework for integrated scheduling of continuous media (CM) and other applications. The framework, called ARC scheduling, consists of a rate-controlled on-line CPU sc...
154
click to vote
ECAI
1994
Springer
15 years 10 months ago
1994
Springer
For large problems the ATMS often becomes the main resource consumer in any reasoning system. We propose an architecture (the 2vATMS) that combines the advantages of two techniques...
345
click to vote
E4MAS
2006
Springer
15 years 10 months ago
2006
Springer
Stigmergy has been adopted in MAS (multi-agent systems) and in other fields as a technique for realising forms of emergent coordination in societies composed by a large amount of a...
182
click to vote
CCGRID
2001
IEEE
15 years 10 months ago
2001
IEEE
The Compute Power Market (CPM) is a market-based resource management and job scheduling system for grid computing on Internet-wide computational resources, particularly low-end pe...