3564 search results - page 415 / 713 » Evaluating a Formal Modelling Language |
123
click to vote
VSTTE
2005
Springer
15 years 9 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
125
click to vote
EDOC
2002
IEEE
15 years 9 months ago
2002
IEEE
The main objective of the CORAS project is to provide methods and tools for precise, unambiguous, and efficient risk assessment of security critical systems. To this end, we advoc...
153
click to vote
COMMA
2006
15 years 5 months ago
2006
Abstract. In 2005, Gordon and Walton presented initial ideas for a computational model of defeasible argument [12, 26], which builds on and elaborates Walton's theory of argum...
154
click to vote
ICDE
2009
IEEE
15 years 1 months ago
2009
IEEE
Data provenance is information that describes how a given data item was produced. The provenance includes source and intermediate data as well as the transformations involved in pr...
104
Voted
HPCA
2002
IEEE
16 years 4 months ago
2002
IEEE
Several studies of speculative execution based on values have reported promising performance potential. However, virtually all microarchitectures in these studies were described i...