Sciweavers

511 search results - page 74 / 103
» Synchronous Structures
Sort
View
NSF
2001
Springer
197views Computer Vision» more  NSF 2001»
14 years 2 months ago
A Collaborative Infrastructure for Mobile and Wireless Systems
Today‘s use of mobile phones is mostly for coordination purposes. It seems reasonable to assume that 3G and 4G high bandwidth systems will be used in a similar way. This paper th...
Lutz Michael Wegner, Morad Ahmad, Stefan Fröh...
PTS
2007
112views Hardware» more  PTS 2007»
13 years 11 months ago
Symbolic Model Based Testing for Component Oriented Systems
In a component oriented approach, components are designed, developed and validated in order to be widely used. However one cannot always foresee which specific uses will be made o...
Alain Faivre, Christophe Gaston, Pascale Le Gall
SCP
2010
172views more  SCP 2010»
13 years 8 months ago
Alternating-time stream logic for multi-agent systems
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
Sascha Klüppelholz, Christel Baier
PET
2007
Springer
14 years 4 months ago
Enforcing P3P Policies Using a Digital Rights Management System
The protection of privacy has gained considerable attention recently. In response to this, new privacy protection systems are being introduced. SITDRM is one such system that prote...
Farzad Salim, Nicholas Paul Sheppard, Reihaneh Saf...
ICMCS
2010
IEEE
199views Multimedia» more  ICMCS 2010»
13 years 11 months ago
MuViSync: Realtime music video alignment
In recent years, the popularity of compressed music files and online music downloads has increased dramatically. Today's users own large digital collections of high quality m...
Robert Macrae, Xavier Anguera, Nuria Oliver