Sciweavers

8771 search results - page 315 / 1755
» Different by design
Sort
View
IFM
2010
Springer
147views Formal Methods» more  IFM 2010»
15 years 4 months ago
Symbolic Model-Checking of Optimistic Replication Algorithms
Abstract. The Operational Transformation (OT) approach, used in many collaborative editors, allows a group of users to concurrently update replicas of a shared object and exchange ...
Hanifa Boucheneb, Abdessamad Imine, Manal Najem
ISQED
2007
IEEE
128views Hardware» more  ISQED 2007»
16 years 1 months ago
A Model for Timing Errors in Processors with Parameter Variation
Parameter variation in integrated circuits causes sections of a chip to be slower than others. To prevent any resulting timing errors, designers have traditionally designed for th...
Smruti R. Sarangi, Brian Greskamp, Josep Torrellas
MM
2004
ACM
132views Multimedia» more  MM 2004»
16 years 7 days ago
Advanced user interfaces for dynamic video browsing
In this demonstration we present three interface designs which enable users to visually browse video data by moving a slider thumb along the timeline. In such a case, scrolling gr...
Wolfgang Hürst, Georg Götz, Philipp Jarv...
TECS
2008
94views more  TECS 2008»
15 years 6 months ago
Composing heterogeneous reactive systems
elationships between heterogeneous models at different levels of abstraction. In particular, they can be used to represent design transformations from tightly synchronized specific...
Albert Benveniste, Benoît Caillaud, Luca P. ...
PEWASUN
2005
ACM
16 years 11 days ago
Real-time perceptual QoS satisfactions of multimedia information
Multimedia contents are becoming the major information going through the Internet. Pervasive network infrastructure expedites data delivery with improved network throughput and re...
Ka Lun Eddie Law, Sunny So