Sciweavers

15614 search results - page 427 / 3123
» The State of State
Sort
View
189
Voted
SRDS
1998
IEEE
15 years 11 months ago
Tolerating Client and Communication Failures in Distributed Groupware Systems
If a groupware system is to be effectively used, especially over a wide-are network such as the Internet, where the quality of networking and computing resources are unpredictable...
Hyong Sop Shim, Atul Prakash
155
Voted
CHI
2006
ACM
16 years 7 months ago
The affective remixer: personalized music arranging
This paper describes a real-time music-arranging system that reacts to immediate affective cues from a listener. Data was collected on the potential of certain musical dimensions ...
Jae-woo Chung, G. Scott Vercoe
SIGMOD
2007
ACM
158views Database» more  SIGMOD 2007»
16 years 7 months ago
Log-based recovery for middleware servers
We have developed new methods for log-based recovery for middleware servers which involve thread pooling, private inmemory states for clients, shared in-memory state and message i...
Rui Wang 0002, Betty Salzberg, David B. Lomet
199
Voted
KI
2007
Springer
16 years 1 months ago
Spatio-Temporal Configurations of Dynamics Points in a 1D Space
This paper describes a spatio-temporal configurations building approach, which has been applied to dynamics points in 1-dimensional space. In this approach, a temporal logic, Allen...
Pierre Hallot, Roland Billen
AMAST
2004
Springer
15 years 10 months ago
Linear Temporal Logic and Z Refinement
Since Z, being a state-based language, describes a system in terms of its state and potential state changes, it is natural to want to describe properties of a specified system also...
John Derrick, Graeme Smith