10072 search results - page 154 / 2015 » Composition of Model Programs |
150
click to vote
TCC
2007
Springer
16 years 8 days 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...
193
click to vote
AOSE
2001
Springer
15 years 10 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...
183
click to vote
IE
2007
15 years 7 months ago
2007
In this paper, I describe a possible creative model for approaching realtime 3D Multi-user Virtual Environments (MUVEs) as formal, audio-visual composition environments. The model...
149
Voted
SNPD
2008
15 years 7 months ago
2008
This paper focuses on studying efficient solutions for modeling and deriving compositional tests for component-based real-time systems. In this work, we propose a coherent framewo...
151
click to vote
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
Atomicity is a desirable property that safeguards application consistency for service compositions. A service composition exhibiting this property could either complete or cancel ...