7075 search results - page 371 / 1415 » Models and heterogeneous reasoning |
173
Voted
TPHOL
2003
IEEE
16 years 2 days ago
2003
IEEE
Abstract. Model checking and theorem proving are two complementary approaches to formal verification. In this paper we show how binary decision diagram (BDD) based symbolic model ...
151
click to vote
WSC
2004
15 years 8 months ago
2004
An important step in designing stochastic simulation is modeling the uncertainty in the input environment of the system being studied. Obtaining a reasonable representation of thi...
225
click to vote
JAR
2008
15 years 6 months ago
2008
This article presents the formal verification, using the Coq proof assistant, of a memory model for low-level imperative languages such as C and compiler intermediate languages. Be...
194
click to vote
IHIS
2005
ACM
16 years 11 days ago
2005
ACM
The goal of this work is to contribute to the field of interoperability of Workflow models. To achieve this interoperability, we have built a generic architecture that s three lev...
217
click to vote
PVLDB
2008
15 years 6 months ago
2008
Several real-world applications need to effectively manage and reason about large amounts of data that are inherently uncertain. For instance, pervasive computing applications mus...