8031 search results - page 1469 / 1607 » Knowledge and Workflow Systems |
122
click to vote
PODC
1994
ACM
15 years 2 months ago
1994
ACM
The notion of belief has been useful in reasoning about authentication protocols. In this paper, we show how the notion of belief can be applied to reasoning about cache coherence...
ICLP
2007
Springer
15 years 1 months ago
2007
Springer
We present the CIFFWEB system, an innovative tool for the verification of web sites, relying upon abductive logic programming. The system allows the user to define rules that a web...
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
The paper describes main features of an Intelligent Scheduler for Road Transportation Applications based on Magenta agent technology and characterized by a number of unique, advan...
CAISE
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Data Warehouse (DWH) systems are used by decision makers for performance measurement and decision support. Currently the main focus of the DWH research field is not as mu...
CF
2006
ACM
15 years 1 months ago
2006
ACM
Adaptive mesh refinement (AMR) is a powerful technique that reduces the resources necessary to solve otherwise intractable problems in computational science. The AMR strategy solv...