13 search results - page 1 / 3 » Dynamic consistency in process algebra: From Paradigm to ACP |
SCP
2011
12 years 11 months ago
2011
The coordination modelling language Paradigm addresses collaboration between components in terms of dynamic constraints. Within a Paradigm model, component dynamics are consistent...
NGITS
1999
Springer
13 years 8 months ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...
CVPR
2009
IEEE
14 years 11 months ago
2009
IEEE
We present a novel method for modeling dynamic visual
phenomena, which consists of two key aspects. First, the in-
tegral motion of constituent elements in a dynamic scene is
ca...
JCB
2006
13 years 4 months ago
2006
We develop a model for elucidating the assembly pathways by which an icosahedral viral shell forms from 60 identical constituent protein monomers. This poorly understood process a...
IKE
2004
13 years 6 months ago
2004
In the context of open environments like the Semantic Web, knowledge-based applications with autonomous knowledge sources have recently gained increased interest. For such sources...