2373 search results - page 355 / 475 » A Model of Facial Behaviour |
165
click to vote
ATAL
2009
Springer
16 years 17 days ago
2009
Springer
Several agent-oriented software engineering methodologies address the emerging challenges posed by the increasing need of adaptive software. A common denominator of such methodolo...
159
click to vote
EDOC
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper presents a conceptual framework for service modelling and refinement, called the COSMO (COnceptual Service MOdelling) framework. This framework provides concepts to mode...
243
click to vote
JUCS
2010
15 years 23 days ago
2010
: All processes of life are controlled by networks of interacting biochemical components. The purpose of modelling these networks is manifold. From a theoretical point of view it a...
190
click to vote
CONCUR
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. Modelling is becoming a necessity in studying biological signalling pathways, because the combinatorial complexity of such systems rapidly overwhelms intuitive and qualit...
171
click to vote
STACS
2010
Springer
16 years 29 days ago
2010
Springer
One-counter processes (OCPs) are pushdown processes which operate only on a unary stack alphabet. We study the computational complexity of model checking computation tree logic (CT...