2373 search results - page 169 / 475 » A Model of Facial Behaviour |
120
click to vote
FUIN
2006
15 years 4 months ago
2006
We study concurrent processes modelled as workflow Petri nets extended with resource constraints. We define a behavioural correctness criterion called soundness: given a sufficient...
134
click to vote
ENTCS
2007
15 years 4 months ago
2007
Refactorings are changes made to programs, models or specifications with the intention of improving their structure and thus making them clearer, more readable and re-usable. Ref...
163
click to vote
ENTCS
2002
15 years 4 months ago
2002
We present a calculus for modelling "environment-aware" computations, that is computations that adapt their behaviour according to the capabilities of the environment. T...
120
click to vote
DEXA
2007
Springer
15 years 10 months ago
2007
Springer
With the Object-Reference (ORef) approach, the traditional object-oriented model is extended with references to act as a canonical model. Our ORef model facilitates the storage of ...
134
click to vote
COORDINATION
2008
Springer
15 years 6 months ago
2008
Springer
A translation of the Business Process Modeling Notation into the process calculus COWS is presented. The stochastic extension of COWS is then exploited to address quantitative reas...