Sciweavers

3504 search results - page 207 / 701
» Secure protocol composition
Sort
View
ICSE
2003
IEEE-ACM
16 years 6 months ago
A Compositional Formalization of Connector Wrappers
Increasingly systems are composed of parts: software components, and the interaction mechanisms (connectors) that enable them to communicate. When assembling systems from independ...
Bridget Spitznagel, David Garlan
MIPS
2004
Springer
137views Multimedia» more  MIPS 2004»
15 years 11 months ago
Distributed Multi-source Video Composition on High Capacity Networks
We present the development and experimentation of a distributed system for pervasive video communication on gigabit networks. We have implemented an event-based control mechanism f...
Yan Grunenberger, Phuong Hoang Nguyen, Gilles Priv...
IPPS
1999
IEEE
15 years 10 months ago
Dynamic Process Composition and Communication Patterns in Irregularly Structured Applications
In this paper we describe one experiment in which a new coordination language, called MANIFOLD, is used to restructure an existing sequential Fortran code from computational uid dy...
C. T. H. Everaars, Barry Koren, Farhad Arbab
SOCO
2008
Springer
15 years 6 months ago
A Reflective Framework for Fine-Grained Adaptation of Aspect-Oriented Compositions
Dynamic Aspect Oriented Programming (AOP) technologies typically provide coarse-grained mechanisms for adapting aspects that cross-cut a system deployment; i.e. whole aspect module...
Paul Grace, Bert Lagaisse, Eddy Truyen, Wouter Joo...
FMCO
2003
Springer
121views Formal Methods» more  FMCO 2003»
15 years 11 months ago
TulaFale: A Security Tool for Web Services
Web services security specifications are typically expressed as a mixture of XML schemas, example messages, and narrative explanations. We propose a new specification language fo...
Karthikeyan Bhargavan, Cédric Fournet, Andr...