1023 search results - page 182 / 205 » Model Checking: Software and Beyond |
125
click to vote
BPSC
2007
15 years 3 months ago
2007
Originally XML was used as a standard protocol for data exchange in computing. The evolution of information technology has opened up new situations in which XML can be used to aut...
140
click to vote
SIGSOFT
2006
ACM
15 years 7 months ago
2006
ACM
The change history of a software project contains a rich collection of code changes that record previous development experience. Changes that fix bugs are especially interesting, ...
109
click to vote
SIGSOFT
2004
ACM
15 years 7 months ago
2004
ACM
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite eļ¬...
139
click to vote
QEST
2009
IEEE
15 years 8 months ago
2009
IEEE
āTraviando is a trace analyzer and visualizer for simulation traces of discrete event dynamic systems. In this paper, we brieļ¬y outline recent extensions of Traviando towards a...
128
Voted
FOSSACS
2007
Springer
15 years 7 months ago
2007
Springer
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested āstack of stacksā structure. These systems may be us...