Sciweavers

2679 search results - page 223 / 536
» Experimental Models for Validating Technology
Sort
View
EKAW
2004
Springer
15 years 10 months ago
Knowledge Formulation for AI Planning
Abstract. In this paper we present an overview of the principle components of GIPO, an environment to support knowledge acquisition for AI Planning. GIPO assists in the knowledge f...
T. L. McCluskey, Ron M. Simpson
ESAW
2004
Springer
15 years 10 months ago
Virtual Enterprise Normative Framework Within Electronic Institutions
Virtual Enterprises are a major trend within the B2B scenario. Technological support towards enabling this cooperation model includes the multi-agent systems paradigm. In this pape...
Henrique Lopes Cardoso, Eugénio C. Oliveira
ICCS
2004
Springer
15 years 10 months ago
Agent-Based Simulation of Data-Driven Fire Propagation Dynamics
Real world problems such as fire propagation prediction, can often be considered as a compositional combination of multiple, simple but coupled subproblems corresponding to analyt...
John Michopoulos, Panagiota Tsompanopoulou, Elias ...
ITRUST
2004
Springer
15 years 10 months ago
The Use of Formal Methods in the Analysis of Trust (Position Paper)
Security and trust are two properties of modern computing systems that are the focus of much recent interest. They play an increasingly significant role in the requirements for mo...
Michael J. Butler, Michael Leuschel, Stépha...
DATE
2002
IEEE
101views Hardware» more  DATE 2002»
15 years 10 months ago
EAC: A Compiler Framework for High-Level Energy Estimation and Optimization
This paper presents a novel Energy-Aware Compilation (EAC) framework that can estimate and optimize energy consumption of a given code taking as input the architectural and techno...
Ismail Kadayif, Mahmut T. Kandemir, Narayanan Vija...