2501 search results - page 134 / 501 » Obligations and Their Interaction with Programs |
WSC
2004
13 years 10 months ago
2004
In order to support the conceptualization and specification of simulation models of complex systems, several formalisms or world views exist. Petri nets, differential equations, d...
JIB
2007
13 years 8 months ago
2007
Control of cell proliferation, differentiation, activation and cell removal is crucial for the development and existence of multi-cellular organisms. Apoptosis, or programmed cell...
IVA
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. While interactive virtual humans are becoming widely used in education, training and therapeutic applications, building animations which are both realistic and parameteri...
PERCOM
2006
ACM
14 years 8 months ago
2006
ACM
The rapid increase in the number and variety of consumer-level electronic devices without the corresponding development of device management technology has lead to a configuration ...
TASE
2009
IEEE
14 years 3 months ago
2009
IEEE
We explore the interactions between programvariable state visibility and communication behaviour in state-rich CSP-like processes, using the Unifying Theories of Programming (UTP)...