4520 search results - page 825 / 904 » Algebraic Techniques for Timed Systems |
134
Voted
SG
2005
Springer
15 years 6 months ago
2005
Springer
This article describes the integration of knowledge based techniques into simulative Virtual Reality (VR) applications. The approach is motivated ltimodal Virtual Construction as a...
98
Voted
SAINT
2002
IEEE
15 years 5 months ago
2002
IEEE
Disconnection is one of the popular techniques for operating in mobile environments and is here to stay, until long-range wireless connectivity becomes a reality. However, disconn...
143
click to vote
ECOOPW
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. The unrelenting pace of change that confronts contemporary software developers compels them to make their applications more configurable, flexible, and adaptable. A way t...
134
Voted
HICSS
1999
IEEE
15 years 5 months ago
1999
IEEE
In this paper, we motivate the importance of the field of mobile computing and survey current practical and formal approaches. We argue that the existing formalisms are not suffic...
137
click to vote
MOBISYS
2010
ACM
15 years 3 months ago
2010
ACM
Mobile phones are becoming increasingly sophisticated with a rich set of on-board sensors and ubiquitous wireless connectivity. However, the ability to fully exploit the sensing c...