Sciweavers

936 search results - page 117 / 188
» The Timewheel Group Communication System
Sort
View
SAC
2008
ACM
13 years 9 months ago
Providing dependability for web services
Web services have been widely employed to allow interoperability among applications and/or technologies. However, the standard technologies and protocols which provide the foundat...
Jeferson L. R. Souza, Frank Siqueira
CHI
2004
ACM
14 years 10 months ago
Supporting social presence through lightweight photo sharing on and off the desktop
Lightweight photo sharing, particularly via mobile devices, is fast becoming a common communication medium used for maintaining a presence in the lives of friends and family. How ...
Scott Counts, Eric Fellheimer
SMC
2007
IEEE
224views Control Systems» more  SMC 2007»
14 years 4 months ago
Complex networks as control paradigm for complex systems
—Rooted in a deep understanding of their major properties, a control paradigm for complex systems is proposed based on latest advances in modeling the dynamics of complex network...
Stefan Grobbelaar, Mihaela Ulieru
DATE
1999
IEEE
194views Hardware» more  DATE 1999»
14 years 2 months ago
CRUSADE: Hardware/Software Co-Synthesis of Dynamically Reconfigurable Heterogeneous Real-Time Distributed Embedded Systems
Dynamically reconfigurable embedded systems offer potential for higher performance as well as adaptability to changing system requirements at low cost. Such systems employ run-tim...
Bharat P. Dav
HYBRID
1998
Springer
14 years 2 months ago
Formal Verification of Safety-Critical Hybrid Systems
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
Carolos Livadas, Nancy A. Lynch