4255 search results - page 502 / 851 » Database: Models, Languages, Design |
185
click to vote
ACL2
2006
ACM
16 years 24 days ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
155
click to vote
DOLAP
2007
ACM
15 years 10 months ago
2007
ACM
In this paper, we deal with the problem of determining the best possible physical implementation of an ETL workflow, given its logical-level description and an appropriate cost mo...
156
click to vote
KBSE
1997
IEEE
15 years 11 months ago
1997
IEEE
There are a number of competing component models in use today. Most are language-independent, but also platform-dependent and not designed to support a tool-based development para...
173
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: A logical model of the known metabolic processes in S. cerevisiae was constructed from iFF708, an existing Flux Balance Analysis (FBA) model, and augmented with inform...
195
click to vote
SEMWEB
2001
Springer
15 years 11 months ago
2001
Springer
Metadata are widely used in order to fully exploit information resources available on corporate intranets or the Internet. The Resource Description Framework (RDF) aims at facilit...