3765 search results - page 654 / 753 » Formal Methods for Systems Engineering Behavior Models |
126
Voted
WSCG
2000
15 years 3 months ago
2000
This paper presents a new, accurate, efficient and unified method for dynamic animation of one, two or three-dimensional deformable objects. The objects are modelled as d-dimensio...
132
click to vote
ICAIL
2003
ACM
15 years 7 months ago
2003
ACM
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...
106
Voted
PDC
2004
ACM
15 years 8 months ago
2004
ACM
How can the documentation of concepts for complex sociotechnical systems, such as the adoption of groupware, be incorporated into practices of PD? Documents are important in suppo...
138
click to vote
BMCBI
2006
15 years 2 months ago
2006
Background: Many different aspects of cellular signalling, trafficking and targeting mechanisms are mediated by interactions between proteins and peptides. Representative examples...
120
Voted
TKDE
2010
15 years 27 days ago
2010
Abstract—The imperfect nature of context in Ambient Intelligence environments and the special characteristics of the entities that possess and share the available context informa...