652 search results - page 2 / 131 » On the behavioural dimension of correspondences between proc... |
REX
1993
13 years 11 months ago
1993
Abstract. Models for concurrency can be classified with respect to three relevant parameters: behaviour/system, interleaving/noninterleaving, linear/branching time. When modelling...
IAT
2008
IEEE
14 years 1 months ago
2008
IEEE
From an external perspective, cognitive agent behaviour can be described by specifying (temporal) correlations of a certain complexity between stimuli (input states) and (re)actio...
ENTCS
2008
13 years 7 months ago
2008
There are two ways to define a semantics for process algebras: either directly by means of an equivalence relation or by means of a preorder whose kernel is the desired equivalenc...
ICIW
2009
IEEE
14 years 2 months ago
2009
IEEE
Semantic Business Process Management is a recent and promising research area devoted to extending the results from Semantic Web Services — i.e., the application of ontology-base...
AICOM
2005
2005
The Ants' Garden: Complex interactions between populations and the scalability of qualitative models
13 years 7 months ago
Ecological theories often explain the behaviour of communities in terms of the underlying interactions that take place between the species that are part of the community. This clos...