2883 search results - page 450 / 577 » New Challenges in Dynamical Systems: The Networked Case |
173
click to vote
ISMIR
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents a system that extracts 109 musical features from symbolic recordings (MIDI, in this case) and uses them to classify the recordings by genre. The features used ...
190
click to vote
ENTCS
2007
15 years 6 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...
167
click to vote
TCSV
2002
15 years 6 months ago
2002
Despite the availability of video-on-demand (VoD) services in a number of cities around the world, large-scale deployment of VoD services in a metropolitan area is still economical...
188
click to vote
KBSE
2005
IEEE
16 years 2 days ago
2005
IEEE
Intrusion detection systems are distributed applications that analyze the events in a networked system to identify malicious behavior. The analysis is performed using a number of ...
169
click to vote
FATES
2005
Springer
16 years 8 hour ago
2005
Springer
Abstract. So far, model-based testing approaches have mostly been used in testing through various kinds of APIs. In practice, however, testing through a GUI is another equally impo...