8109 search results - page 368 / 1622 » A Model of Component-Based Programming |
212
click to vote
ECMDAFA
2008
Springer
15 years 9 months ago
2008
Springer
Model transformations support a model-driven design by providing an c translation of abstract models into more concrete ones, and eventually program code. Crucial to a successful a...
201
click to vote
KR
2004
Springer
16 years 19 days ago
2004
Springer
Disjunction is generally considered to add expressive power to logic programs under the stable model semantics, which have become a popular programming paradigm for knowledge repr...
200
click to vote
ISSTA
2000
ACM
15 years 11 months ago
2000
ACM
Increasing numbers of software developers are using the Unified Modeling Language (UML) and associated visual modeling tools as a basis for the design and implementation of their ...
204
click to vote
ESOP
2006
Springer
15 years 11 months ago
2006
Springer
Model fields are specification-only fields that encode abstractions of the concrete state of a data structure. They allow specifications to describe the behavior of object-oriented...
185
click to vote
BIOCOMP
2006
15 years 8 months ago
2006
Stochastic context-free grammar (SCFG) based models for non-coding RNA (ncRNA) gene searches are much more powerful than regular grammar based models due to the ability to model in...