1049 search results - page 90 / 210 » A Document Based Framework for Smart Object Systems |
CHI
2005
ACM
14 years 9 months ago
2005
ACM
Are the object manipulation techniques traditionally used in head?mounted displays (HMDs) applicable to augmented reality based projection systems? This paper examines the differe...
CSREAESA
2006
13 years 10 months ago
2006
- We present a software tool for high-level design and analysis of large-scale embedded real-time software, which has been integrated into a vehicle control platform development to...
KESAMSTA
2007
Springer
14 years 2 months ago
2007
Springer
In this paper, we suggested a mobile collaboration framework based on distributed object group framework (DOGF). This paper focuses on the use of this framework to support mobile c...
CADE
1992
Springer
14 years 26 days ago
1992
Springer
Abstract. We exhibit a methodology for formulating and verifying metatheorems about deductive systems in the Elf language, an implementation of the LF Logical Framework with an ope...
WMTE
2005
IEEE
14 years 2 months ago
2005
IEEE
Individual, unaided human abilities are constrained. Media have helped us to transcend boundaries in thinking, working, learning, and collaborating by supporting distributed intel...