981 search results - page 96 / 197 » Semantics-aware trace analysis |
113
click to vote
EDM
2008
15 years 4 months ago
2008
We compare the purposes, inputs, representations, and assumptions of three methods to evaluate the fine-grained interactions of intelligent tutors with their students. One method i...
138
click to vote
VMV
2001
15 years 4 months ago
2001
In this paper, we present a theoretical analysis of the error with three basic Monte Carlo radiosity algorithms, based on continuous collision shooting random walks, discrete coll...
124
click to vote
IPL
2002
15 years 2 months ago
2002
We develop a formal semantics of sequence diagrams. The semantics is given in terms of our new temporal logic, named HDTL, which is designed to specify dynamically evolving system...
131
click to vote
KBSE
2006
IEEE
15 years 9 months ago
2006
IEEE
Software systems often undergo many revisions during their lifetime as new features are added, bugs repaired, abstractions simplified and refactored, and performance improved. Wh...
121
click to vote
MODELS
2010
Springer
15 years 1 months ago
2010
Springer
A feature represents a functional requirement fulfilled by a system. Since many maintenance tasks are expressed in terms of features, it is important to establish the corresponden...