2917 search results - page 240 / 584 » Satisfying Interaction Constraints |
200
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: Alignment and comparison of related genome sequences is a powerful method to identify regions likely to contain functional elements. Such analyses are data intensive, ...
176
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
We present a type theory for analyzing concurrent multiparty interactions as found in service-oriented computing. Our theory introduces a novel and flexible type structure, able t...
176
click to vote
TARK
2007
Springer
16 years 26 days ago
2007
Springer
In this paper is we apply insights from mechanism design to the design of agent interaction protocols. We show how this allows us a more flexible approach to the design of agent ...
190
click to vote
FUIN
2010
15 years 4 months ago
2010
This paper explores the use of Constraint Logic Programming (CLP) as a platform for experimenting with planning problems in the presence of multiple interacting agents. The paper ...
174
click to vote
SOFSEM
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. The increasing complexity of today’s embedded systems applications imposes the requirements and constraints of distributed, heterogeneous subsystem interaction to softw...