Sciweavers

1825 search results - page 311 / 365
» Decision Support System on the Grid
Sort
View
TACAS
2001
Springer
135views Algorithms» more  TACAS 2001»
14 years 5 days ago
Implementing a Multi-valued Symbolic Model Checker
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...
Marsha Chechik, Benet Devereux, Steve M. Easterbro...
DOLAP
2000
ACM
14 years 3 days ago
Towards OLAP Security Design - Survey and Research Issues
With the use of data warehousing and online analytical processing (OLAP) for decision support applications new security issues arise. The goal of this paper is to introduce an OLA...
Torsten Priebe, Günther Pernul
ATAL
1999
Springer
14 years 19 hour ago
A Planning Component for RETSINA Agents
In the RETSINA multi-agent system, each agent is provided with an internal planning component—the RETSINA planner. Each agent, using its internal planner, formulates detailed pla...
Massimo Paolucci, Onn Shehory, Katia P. Sycara, Di...
EUROPAR
2000
Springer
13 years 11 months ago
On the Performance of Fetch Engines Running DSS Workloads
Abstract This paper examines the behavior of current and next generation microprocessors' fetch engines while running Decision Support Systems (DSS) workloads. We analyze the ...
Carlos Navarro, Alex Ramírez, Josep-Lluis L...
ATAL
2008
Springer
13 years 9 months ago
Extending virtual organizations to improve trust mechanisms
Virtual Organizations (VOs) are becoming an increasingly important research topic in the field of Multi-Agent Systems (MAS). The problem of selecting suitable counterparts to inte...
Ramón Hermoso, Roberto Centeno, Holger Bill...