20 search results - page 3 / 4 » The BRITNeY Suite Animation Tool |
ACMACE
2005
ACM
13 years 12 months ago
2005
ACM
The fields of human-robot interaction and entertainment robotics are truly interdisciplinary, combining the best of computer science, psychology, and mechanical engineering. Howe...
CHI
2005
ACM
14 years 6 months ago
2005
ACM
Authoring tools routinely include a timeline representation to allow the author to specify the sequence of animations and interactions. However, traditional static timelines are b...
CANDC
2009
ACM
14 years 24 days ago
2009
ACM
The RiTa Toolkit for Computation Literature is a suite of open-source components, tutorials, and examples, providing support for a range of tasks related to the practice of creati...
AICT
2006
IEEE
14 years 10 days ago
2006
IEEE
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
KBSE
2003
IEEE
13 years 11 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...