2432 search results - page 140 / 487 » High-level approach to modeling of observed system behavior |
280
click to vote
ASPLOS
2009
ACM
16 years 7 months ago
2009
ACM
Software defects, commonly known as bugs, present a serious challenge for system reliability and dependability. Once a program failure is observed, the debugging activities to loc...
186
click to vote
PTS
2003
15 years 7 months ago
2003
We present a framework for property testing where a partially ordered execution trace of a distributed system is modeled by a collection of communicating automata. We prove that th...
162
click to vote
PAMI
2006
15 years 6 months ago
2006
Visual attention is a mechanism which filters out redundant visual information and detects the most relevant parts of our visual field. Automatic determination of the most visually...
173
click to vote
DBPL
2001
Springer
15 years 11 months ago
2001
Springer
Commercial OLAP systems usually treat OLAP dimensions as static entities. In practice, dimension updates are often necessary in order to adapt the multidimensional database to chan...
214
click to vote
DSVIS
1998
Springer
15 years 10 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...