2025 search results - page 84 / 405 » Minimal-Cut Model Composition |
AAAI
2006
13 years 9 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...
TCC
2007
Springer
14 years 1 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...
AOSE
2001
Springer
14 years 6 days 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...
IE
2007
13 years 9 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...
SNPD
2008
13 years 9 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...