982 search results - page 48 / 197 » Supporting Customizable Architectural Design Decision Manage... |
IJCAI
1989
15 years 8 days ago
1989
The developmentof reasoning systems that can reason and plan in a continuously changing environment is emerging as an important area of research in Arti cial Intelligence. Thispap...
JHSN
2006
14 years 11 months ago
2006
With the rapid growth of the Internet into a global communication and commercial infrastructure, the need for Quality of Services (QoS) in the Internet becomes more and more import...
ICPP
2007
IEEE
15 years 5 months ago
2007
IEEE
As the number of computing and storage nodes keeps increasing, the interconnection network is becoming a key element of many computing and communication systems, where the overall...
SIGMOD
1989
ACM
15 years 3 months ago
1989
ACM
The HiPAC project is investigating active, time-constrained databasemanagment. An active DBMS is one which automatically executes specified actions when speciifed conditions arise...
101
click to vote
JAR
2006
14 years 11 months ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...