Sciweavers

3602 search results - page 98 / 721
» Isn't It About Time
Sort
View
AIMS
2008
Springer
14 years 3 months ago
Dynamic Consistency Analysis for Convergent Operators
It has been shown that sets of convergent operators with a shared fixed point can simulate autonomic control mechanisms, but many questions remain about this management technique....
Alva L. Couch, Marc Chiarini
DSVIS
2005
Springer
14 years 2 months ago
A Calculus for the Refinement and Evolution of Multi-user Mobile Applications
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
W. Greg Phillips, T. C. Nicholas Graham, Christoph...
ISMIR
2005
Springer
171views Music» more  ISMIR 2005»
14 years 2 months ago
A Histogram Algorithm for Fast Audio Retrieval
This paper describes a fast audio detection method for specific audio retrieval in the AV stream. The method is a histogram matching algorithm based on structural and perceptual f...
Wei Liang, Shuwu Zhang, Bo Xu
TIME
1998
IEEE
14 years 1 months ago
A Logic of Action, Causality, and the Temporal Relations of Events
In this paper, we propose a logic of action and causality. The most important part of our contribution is a semantics that integrates action, temporal structure, and probability. ...
Richard B. Scherl, Glenn Shafer
HPDC
1996
IEEE
14 years 1 months ago
Collecting and Modeling the Join/Leave Behavior of Multicast Group Members in the MBone
One purpose of the MBone is to study the performance of multicast and real-time protocols in global conferencing applications. Part of this evaluation is dependent on understandin...
Kevin C. Almeroth, Mostafa H. Ammar