1111 search results - page 178 / 223 » Program Analysis as Model Checking of Abstract Interpretatio... |
121
click to vote
DSN
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper introduces SymPLFIED, a program-level framework which allows specification of arbitrary error detectors and the verification of their efficacy against hardware errors. ...
109
Voted
CONCUR
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. We present an in-depth discussion of the relationships between synchrony and asynchrony. Simple models of both paradigms are presented, and we state theorems which guaran...
132
click to vote
IFIP
2009
Springer
15 years 5 days ago
2009
Springer
Abstract. Enterprise architecture (EA) management forms a commonly accepted means to enhance the alignment of business and IT, and to support the managed evolution of the enterpris...
113
click to vote
CIKM
2009
Springer
15 years 9 months ago
2009
Springer
We are building an interactive, visual text analysis tool that aids users in analyzing a large collection of text. Unlike existing work in text analysis, which focuses either on d...
126
click to vote
JUCS
2007
15 years 2 months ago
2007
Abstract: A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, pro...