Sciweavers

689 search results - page 39 / 138
» Encapsulation theory fundamentals
Sort
View
EMSOFT
2005
Springer
14 years 3 months ago
Tag machines
Heterogeneity is a challenge to overcome in the design of embedded systems. We presented in the recent past a theory for the composition of heterogeneous components based on tagge...
Albert Benveniste, Benoît Caillaud, Luca P. ...
SIGGRAPH
1987
ACM
14 years 1 months ago
Elastically deformable models
Abstract: The theory of elasticity describes deformable materials such as rubber, cloth, paper, and flexible metals. We employ elasticity theory to construct differential equations...
Demetri Terzopoulos, John C. Platt, Alan H. Barr, ...
AAAI
1997
13 years 11 months ago
Agent Architectures for Flexible, Practical Teamwork
Teamwork in complex, dynamic, multi-agent domains mandates highly flexible coordination and communication. Simply fitting individual agents with precomputed coordination plans w...
Milind Tambe
ACTA
2004
86views more  ACTA 2004»
13 years 10 months ago
Specification transformers: a predicate transformer approach to composition
Abstract. This paper explores theories that help in (i) proving that a system composed from components satisfies a system specification given only specifications of components and ...
Michel Charpentier, K. Mani Chandy
CSCW
2002
ACM
13 years 9 months ago
Collaboration as an Activity Coordinating with Pseudo-Collective Objects
A coalition is a collaborative pattern in which people must work together to accomplish a task, but where organizational constraints stand in the way of their making use of the co...
David Zager