Sciweavers

445 search results - page 28 / 89
» A Call Abstraction for Component Coordination
Sort
View
ICCAD
1996
IEEE
77views Hardware» more  ICCAD 1996»
14 years 23 days ago
Power optimization in disk-based real-time application specific systems
While numerous power optimization techniques have been at all levels of design process abstractions for electronic components, until now, power minimization in mixed mechanical-el...
Inki Hong, Miodrag Potkonjak
ECWEB
2005
Springer
136views ECommerce» more  ECWEB 2005»
14 years 2 months ago
Music Rights Clearance Business Analysis and Delivery
Abstract. Semantic Web Services can be seen as remote Problem Solving Methods offered via the Web through platform and language independent interfaces. They can be seamlessly inte...
Carlos Pedrinaci, Ziv Baida, Hans Akkermans, Amaia...
CEEMAS
2007
Springer
14 years 2 months ago
Commitment Monitoring in a Multiagent System
Abstract. Agent Communication Languages (ACLs) play a fundamental role in open multiagent systems where message exchange is the main if not the only way for agents to coordinate th...
Paola Spoletini, Mario Verdicchio
FATES
2006
Springer
14 years 8 days ago
A Test Calculus Framework Applied to Network Security Policies
Abstract. We propose a syntax-driven test generation technique to auly derive abstract test cases from a set of requirements expressed in a linear temporal logic. Assuming that an ...
Yliès Falcone, Jean-Claude Fernandez, Laure...
ESAW
2000
Springer
14 years 6 days ago
Exploiting UML in the Design of Multi-agent Systems
Abstract. Software engineering describes a system at different levels of abstraction. Agent-oriented software engineering introduces a new level, called the agent level, to allow t...
Federico Bergenti, Agostino Poggi