1018 search results - page 105 / 204 » Abstraction and Refinement in Model Checking |
ICDE
1995
IEEE
14 years 9 months ago
1995
IEEE
The model of flexible relations supports heterogeneous sets of tuples in a strongly typed way. The elegance of the standard relational model is preserved by using a single, generi...
CSCW
2004
ACM
14 years 1 months ago
2004
ACM
Domain experts are essential for successful software development, but these experts may not recognize their ideas when abstracted into Unified Modeling Language (UML) or ontologie...
PRICAI
1998
Springer
14 years 15 hour ago
1998
Springer
We present a new methodology to automate decision making over time and uncertainty. We adopt a knowledge-based model construction approach to support automated and interactive form...
ICTAC
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Separation kernels are key components in embedded applications. Their small size and widespread use in high-integrity environments make them good targets for formal model...
RECOMB
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. Between-Pathway Models (BPMs) are network motifs consisting of pairs of putative redundant pathways. In this paper, we show how adding another source of high-throughput d...