Sciweavers

709 search results - page 56 / 142
» coordination 2010
Sort
View
ENTCS
2006
153views more  ENTCS 2006»
15 years 5 months ago
Multi-Agent System Development Based on Organizations
Organizational models have been recently used in agent theory for modeling coordination in open systems and to ensure social order in multi-agent system applications. In this pape...
Estefania Argente, Vicente Julián, Vicente ...
ENTCS
2006
135views more  ENTCS 2006»
15 years 5 months ago
Formal Semantics and Analysis of Component Connectors in Reo
We present an operational semantics for a component composition language called Reo. Reo connectors exogenously compose and coordinate the interactions among individual components...
Mohammad Reza Mousavi, Marjan Sirjani, Farhad Arba...
ENTCS
2006
90views more  ENTCS 2006»
15 years 5 months ago
A Framework for Engineering Interactions in Java-based Component Systems
This paper describes a Java-based framework for the development of componentbased software systems supporting the specification of the logic of component interactions as a first-c...
Antonio Natali, Enrico Oliva, Alessandro Ricci, Mi...
ENTCS
2007
86views more  ENTCS 2007»
15 years 5 months ago
Tool Support for Proof Engineering
Modern integrated development environments (IDEs) provide programmers with a variety of sophisticated tools for program visualization and manipulation. These tools assist the prog...
Anne Mulhern, Charles Fischer, Ben Liblit
ENTCS
2007
124views more  ENTCS 2007»
15 years 5 months ago
Blues for Gary: Design Abstractions for a Jazz Improvisation Assistant
bstractions for a Jazz Improvisation Assistant Robert Keller1 Martin Hunt, Stephen Jones, David Morrison, Aaron Wolin Computer Science Harvey Mudd College Claremont, California, US...
Robert Keller, Martin Hunt, Stephen Jones, David M...