Sciweavers

4738 search results - page 692 / 948
» Past, Present, and Future
Sort
View
ICFEM
2004
Springer
16 years 23 days ago
Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...
YoungMin Kwon, Gul Agha
ICICS
2004
Springer
16 years 23 days ago
Hydan: Hiding Information in Program Binaries
We present a scheme to steganographically embed information in x86 program binaries. We define sets of functionally-equivalent instructions, and use a key-derived selection proces...
Rakan El-Khalil, Angelos D. Keromytis
ICSOC
2004
Springer
16 years 23 days ago
Automated composition of e-services: lookaheads
The e-services paradigm promises to enable rich, flexible, and dynamic inter-operation of highly distributed, heterogeneous networkenabled services. Among the challenges, a funda...
Cagdas Evren Gerede, Richard Hull, Oscar H. Ibarra...
ISMIR
2004
Springer
107views Music» more  ISMIR 2004»
16 years 23 days ago
Survey Of Music Information Needs, Uses, And Seeking Behaviours: Preliminary Findings
User studies focusing upon real-life music information needs, uses and seeking behaviours are still very scarce in the music information retrieval (MIR) and music digital library ...
Jin Ha Lee, J. Stephen Downie
ISMIR
2004
Springer
141views Music» more  ISMIR 2004»
16 years 23 days ago
Causal Tempo Tracking of Audio
We introduce a causal approach to tempo tracking for musical audio signals. Our system is designed towards an eventual real-time implementation; requiring minimal highlevel knowle...
Matthew E. P. Davies, Mark D. Plumbley