3994 search results - page 253 / 799 » Supporting the design of network-spanning applications |
171
click to vote
HUC
2007
Springer
16 years 1 months ago
2007
Springer
How should Ubicomp technologies be evaluated? While lab studies are good at sensing aspects of human behavior and revealing usability problems, they are poor at capturing context o...
165
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
Practitioners of formal property verification often work around the capacity limitations of formal verification tools by breaking down properties into smaller properties that ca...
192
click to vote
UML
2005
Springer
16 years 23 days ago
2005
Springer
Developing user interfaces for ubiquitous environments is a challenging task. In such an environment, users can apply different devices to accomplish the same or different tasks. ...
196
click to vote
AOSE
2001
Springer
15 years 11 months ago
2001
Springer
A key challenge for agent-oriented software engineering is to develop and implement open systems composed of interacting autonomous agents. On the one hand, there is a need for pe...
215
click to vote
CGI
2000
IEEE
15 years 11 months ago
2000
IEEE
Three-dimensional maps are fundamental tools for presenting, exploring, and manipulating geo data. This paper describes multiresolution concepts for 3D maps and their texture-base...