2139 search results - page 313 / 428 » Modeling Aspect-Oriented Compositions |
MICCAI
2002
Springer
14 years 11 months ago
2002
Springer
Through an understanding of the image formation process, diagnostically important facts about the internal structure and composition of the skin lesions can be derived from their c...
WWW
2004
ACM
14 years 10 months ago
2004
ACM
Business processes involve interactions among autonomous partners. We propose that these interactions be specified modularly as protocols. Protocols can be published, enabling imp...
WWW
2003
ACM
14 years 10 months ago
2003
ACM
This paper presents an approach for the design and development of service-driven applications. These applications rely on the collaboration of multiple services that businesses of...
CCS
2009
ACM
14 years 10 months ago
2009
ACM
We treat the security of group key exchange (GKE) in the universal composability (UC) framework. Analyzing GKE protocols in the UC framework naturally addresses attacks by maliciou...
ICALP
2009
Springer
14 years 10 months ago
2009
Springer
A variant of Rate Transition Systems (RTS), proposed by Klin and Sassone, is introduced and used as the basic model for defining stochastic behaviour of processes. The transition r...