Sciweavers

981 search results - page 58 / 197
» Semantics-aware trace analysis
Sort
View
CSMR
2003
IEEE
15 years 7 months ago
Improving Dynamic Data Analysis with Aspect-Oriented Programming
In this paper we present a new instrumentation approach to reverse engineer a given software application. Our approach is based on aspect-oriented programming and provides support...
Thomas Gschwind, Johann Oberleitner
KDD
2009
ACM
161views Data Mining» more  KDD 2009»
15 years 8 months ago
Interactive spatio-temporal cluster analysis of VAST challenge 2008 datasets
We describe a visual analytics method supporting the analysis of two different types of spatio-temporal data, point events and trajectories of moving agents. The method combines c...
Gennady L. Andrienko, Natalia V. Andrienko
WISTP
2007
Springer
15 years 8 months ago
Optimistic Non-repudiation Protocol Analysis
Abstract. Non-repudiation protocols with session labels have a number of vulnerabilities. Recently Cederquist, Corin and Dashti have proposed an optimistic non-repudiation protocol...
Judson Santiago, Laurent Vigneron
GW
2003
Springer
125views Biometrics» more  GW 2003»
15 years 7 months ago
Gesture Analysis: Invariant Laws in Movement
This paper presents gesture analysis under the scope of motor control theory. Following the motor program view, some studies have revealed a number of invariant features that chara...
Sylvie Gibet, Jean-François Kamp, Franck Po...
CAV
2010
Springer
201views Hardware» more  CAV 2010»
15 years 5 months ago
Contessa: Concurrency Testing Augmented with Symbolic Analysis
Testing of multi-threaded programs poses enormous challenges. To improve the coverage of testing, we present a framework named CONTESSA that augments conventional testing (concrete...
Sudipta Kundu, Malay K. Ganai, Chao Wang