3387 search results - page 214 / 678 » Model-Checking for Real-Time Systems |
225
Voted
ICIAP
2005
ACM
16 years 16 days ago
2005
ACM
The future customer service provided by call centres will be changed due to new web-based interactive multimedia technologies. Technical support will be offered in a completely new...
196
click to vote
ISMIR
2005
Springer
2005
Springer
Ringomatic: A Real-Time Interactive Drummer Using Constraint-Satisfaction and Drum Sound Descriptors
16 years 16 days ago
We describe a real-time musical agent that generates an audio drum-track by concatenating audio segments automatically extracted from pre-existing musical files. The drum-track c...
184
Voted
ROBOCUP
2005
Springer
16 years 15 days ago
2005
Springer
Faults in hardware and software are not totally avoidable not even if the components are carefully designed, implemented and tested. In this paper we present a solution for detecti...
209
click to vote
DSRT
2003
IEEE
16 years 9 days ago
2003
IEEE
Many-to-many multicast transmission is an essential network capability for scalable distributed simulation. The many open issues that make network-layer multicast impractical over...
248
click to vote
ECRTS
2003
IEEE
16 years 9 days ago
2003
IEEE
In applications such as web-applications, e-commerce, and engine control, the demand for real-time data services has increased. In these applications, requests have to be processe...