2021 search results - page 102 / 405 » COCO: Composition Model and Composition Model Implementation |
131
click to vote
SLP
1997
15 years 6 months ago
1997
Compositionality of programsis an important concern in knowledge representation and software development. In the context of Logic Programming, up till now, the issue has mostly be...
151
Voted
ICSOC
2009
Springer
15 years 2 months ago
2009
Springer
Service-oriented computing provides an evolving paradigm for flexible and scalable applications of open systems. Web services and their automatic composition are in the mainstream...
126
click to vote
AAAI
2006
15 years 6 months ago
2006
Modern artifacts are typically composed of many system components and exhibit a complex pattern of continuous/discrete behaviors. A concurrent hybrid automaton is a powerful model...
129
click to vote
TCC
2007
Springer
15 years 10 months ago
2007
Springer
We investigate whether security of multiparty computation in the information-theoretic setting implies their security under concurrent composition. We show that security in the sta...
165
click to vote
AOSE
2001
Springer
15 years 9 months ago
2001
Springer
In this paper, we present a social model for software agent conversations for action based on social commitments and their negotiation. We depart from the premises that conversati...