Sciweavers

13277 search results - page 2357 / 2656
» An Approach to Clustering Abstracts
Sort
View
BPM
2006
Springer
128views Business» more  BPM 2006»
15 years 9 months ago
Towards Formal Verification of Web Service Composition
Abstract. Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current Web services composition propos...
Mohsen Rouached, Olivier Perrin, Claude Godart
DEON
2006
Springer
15 years 9 months ago
A Logical Architecture of a Normative System
Abstract. Logical architectures combine several logics into a more complex logical system. In this paper we study a logical architecture using input/output operations corresponding...
Guido Boella, Leendert W. N. van der Torre
AIIA
2007
Springer
15 years 9 months ago
Plan Diagnosis and Agent Diagnosis in Multi-agent Systems
Abstract. The paper discusses a distributed approach for monitoring and diagnosing the execution of a plan where concurrent actions are performed by a team of cooperating agents. T...
Roberto Micalizio, Pietro Torasso
CEC
2007
IEEE
15 years 9 months ago
Fitness inheritance in evolutionary and multi-objective high-level synthesis
Abstract—The high-level synthesis process allows the automatic design and implementation of digital circuits starting from a behavioral description. Evolutionary algorithms are v...
Christian Pilato, Gianluca Palermo, Antonino Tumeo...
CIA
2008
Springer
15 years 9 months ago
Collaborative Load-Balancing in Storage Networks Using Agent Negotiation
Abstract. The rapid advances in the computer industry allow building larger systems that require mass storage volumes. As storage space increases, its management becomes increasing...
Shay Raz, Raz Lin, Onn Shehory
« Prev « First page 2357 / 2656 Last » Next »