7117 search results - page 435 / 1424 » IT Governance Frameworks as Methods |
241
click to vote
ACL2
2006
ACM
16 years 26 days ago
2006
ACM
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...
181
click to vote
APSEC
2005
IEEE
16 years 16 days ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
205
click to vote
SAS
2005
Springer
16 years 11 days ago
2005
Springer
We show that the idea of predicates on heap objects can be cast in the framework of predicate abstraction. This leads to an alternative view on the underlying concepts of three-val...
183
click to vote
CC
2004
Springer
16 years 9 days ago
2004
Springer
Abstract. Several mathematical frameworks for static analysis of programs have been developed in the past decades. Although these tools are quite useful, they have still many limit...
176
click to vote
ECBS
2003
IEEE
16 years 5 days ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...