575 search results - page 82 / 115 » Analysis of program based on Synchronous Active Objects |
TSE
2010
13 years 7 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
AR
2007
13 years 9 months ago
2007
Abstract— Robot imitation is a useful and promising alternative to robot programming. Robot imitation involves two crucial issues. The first is how a robot can imitate a human w...
ECSA
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...
PRESENCE
2006
13 years 8 months ago
2006
This paper describes two methods for analyzing interactions in collaborative virtual environments (CVEs): one whereby quantitative data are captured, interaction is categorized in...
CHI
2005
ACM
14 years 9 months ago
2005
ACM
This paper describes a new collaboration technology that is based on the support of lightweight, informally structured, opportunistic activities featuring heterogeneous threads of...