4255 search results - page 136 / 851 » Database: Models, Languages, Design |
ICFP
2007
ACM
14 years 10 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
ICDT
2012
ACM
12 years 19 days ago
2012
ACM
A universal model of a database D and a set Σ of integrity constraints is a database that extends D, satisfies Σ, and is most general in the sense that it contains sound and co...
CIKM
2011
Springer
12 years 10 months ago
2011
Springer
Word prediction performed by language models has an important role in many tasks as e.g. word sense disambiguation, speech recognition, hand-writing recognition, query spelling an...
BMCBI
2007
13 years 10 months ago
2007
Background: The need to build a tool to facilitate the quick creation and editing of models encoded in the Systems Biology Markup language (SBML) has been growing with the number ...
DKE
1998
13 years 10 months ago
1998
The issues of schema evolution and temporal object models are generally considered to be orthogonal and are handled independently. However, to properly model applications that nee...