Sciweavers

592 search results - page 89 / 119
» CTL Model Update: Semantics, Computations and Implementation
Sort
View
COORDINATION
2000
Springer
14 years 19 days ago
GCCS: A Graphical Coordination Language for System Specification
Abstract. We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represen...
Rance Cleaveland, Xiaoqun Du, Scott A. Smolka
GI
2009
Springer
13 years 6 months ago
Content-sensitive User Interfaces for Annotated Web Pages
Abstract: By means of RDFa it is possible to embed semantic meaning into standard XHTML web pages. Using the meaning, we provide content-sensitive user interfaces for web pages int...
Florian Schmedding
CONEXT
2006
ACM
14 years 3 months ago
Compositional control of IP media
Abstract— In many IP media services, the media channels are point-to-point, dynamic, and set up with the participation of one or more application servers, even though the media p...
Pamela Zave, Eric Cheung
ERCIMDL
2005
Springer
115views Education» more  ERCIMDL 2005»
14 years 2 months ago
A No-Compromises Architecture for Digital Document Preservation
Abstract. The Multivalent Document Model offers a practical, proven, nocompromises architecture for preserving digital documents of potentially any data format. We have implemented...
Thomas A. Phelps, Paul B. Watry
SCP
2011
228views Communications» more  SCP 2011»
13 years 4 months ago
Channel-based coordination via constraint satisfaction
Coordination in Reo emerges from the composition of the behavioural constraints of primitives, such as channels, in a component connector. Understanding and implementing Reo, howe...
Dave Clarke, José Proença, Alexander...