2615 search results - page 361 / 523 » Analysis of Real Time Operating System Based Applications |
112
click to vote
ISMIR
2005
Springer
15 years 8 months ago
2005
Springer
We present MATCH, a toolkit for aligning audio recordings of different renditions of the same piece of music, based on an efficient implementation of a dynamic time warping algor...
133
click to vote
TPHOL
2005
IEEE
15 years 8 months ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
113
Voted
ACSAC
2008
IEEE
15 years 9 months ago
2008
IEEE
Cross-site Scripting (XSS) has emerged to one of the most prevalent type of security vulnerabilities. While the reason for the vulnerability primarily lies on the serverside, the ...
126
click to vote
WSC
2007
15 years 5 months ago
2007
Visualization is a powerful method for verifying, validating, and communicating the results of a simulated model. Lack of visual understanding about a simulated model is one of th...
129
click to vote
JSW
2007
15 years 3 months ago
2007
— We propose a novel framework for building a distributed data acquisition and monitoring system. Our novel framework is mainly based on XML leverages and OPC (Openness, Producti...