10072 search results - page 304 / 2015 » Composition of Model Programs |
144
click to vote
AGP
2003
IEEE
15 years 10 months ago
2003
IEEE
Dynamic logic programming allows the representation and the inference of evolving knowledge. Legal knowledge reasoning needs the capability to model laws that change over time and ...
159
click to vote
ECOOP
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Aspect-oriented programming languages usually are extensions of object-oriented ones, and their compilation target is usually the (virtual) machine model of the language ...
154
click to vote
PPAM
2007
Springer
16 years 24 days ago
2007
Springer
There are several parallel programming models available for numerical computations at diļ¬erent levels of expressibility and ease of use. For the development of new domain speciļ¬...
181
click to vote
IFIP
2004
Springer
16 years 1 days ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic veriļ¬cation of software using model checkers from the state space exp...
171
click to vote
CMSB
2007
Springer
16 years 25 days ago
2007
Springer
We explore some presynaptic mechanisms of the calyx of Held synapse through a stochastic model. The model, drawn from a kinetic approach developed in literature, exploits process c...