Sciweavers

511 search results - page 29 / 103
» Finite System Composition and Interaction
Sort
View
ICSE
2003
IEEE-ACM
14 years 7 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
CSFW
2000
IEEE
13 years 12 months ago
Secure Composition of Untrusted Code: Wrappers and Causality Types
We consider the problem of assembling concurrent software systems from untrusted or partially trusted o -the-shelf components, using wrapper programs to encapsulate components and...
Peter Sewell, Jan Vitek
ENTCS
2010
127views more  ENTCS 2010»
13 years 7 months ago
Action Prefixes: Reified Synchronization Paths in Minimal Component Interaction Automata
Component Interaction Automata provide a fitting model to capture and analyze the temporal facets of hierarchical-structured component-oriented software systems. However, the rule...
Markus Lumpe
VL
2005
IEEE
144views Visual Languages» more  VL 2005»
14 years 1 months ago
Gestural Musical Improvisation and Programming
We present a human-centered gestural system for musical improvisation, MIND. We demonstrate the relationship between music composition and programming. Preliminary field data from...
Peter Khooshabeh, Ethan Smith, John Thomspon
VISUALIZATION
1993
IEEE
13 years 11 months ago
Flow Volumes for Interactive Vector Field Visualization
Flow volumes are the volumetric equivalent of stream lines. They provide more information about the vector field being visualized than do stream lines or ribbons. Presented is an ...
Nelson L. Max, Barry G. Becker, Roger Crawfis