7918 search results - page 19 / 1584 » Model Composition Directives |
LPNMR
2007
Springer
14 years 1 months ago
2007
Springer
Practically all programming languages used in software engineering allow to split a program into several modules. For fully declarative and nonmonotonic logic programming languages...
AROBOTS
2010
13 years 7 months ago
2010
Locusts possess a bilateral pair of uniquely identifiable visual neurons that respond vigorously to the image of an approaching object. These neurons are called the lobula giant m...
TAICPART
2006
IEEE
14 years 1 months ago
2006
IEEE
Testing compositions of web services is complex, due to their distributed nature and asynchronous behaviour. However, research in this field is scarce. We propose a new testing me...
CSL
1992
Springer
13 years 11 months ago
1992
Springer
We develop the rst steps of a theory of concurrency within the framework of evolving algebras of Gurevich, with the aim of investigating its suitability for the role of a general f...
CMSB
2007
Springer
14 years 1 months 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...