1075 search results - page 182 / 215 » An environment for developing adaptive, multi-device user in... |
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
— Users’ demand of seamless connectivity has pushed for the development of alternatives to traditional infrastructure networks. Potential solutions should be low-cost, easily d...
STORAGESS
2005
ACM
14 years 1 months ago
2005
ACM
This paper introduces Hydra, a platform that we are developing for highly survivable and secure data storage systems that distribute information over networks and adapt timely to ...
MHCI
2009
Springer
14 years 2 months ago
2009
Springer
Cycling is a common leisure time sports in touristic regions. For us it was the question how tourists actually find their paths in the area and what kind of navigation aids might...
ECLIPSE
2005
ACM
13 years 9 months ago
2005
ACM
We introduce ConcernMapper, an Eclipse plug-in for experimenting with techniques for advanced separation of concerns. ConcernMapper supports development and maintenance tasks invo...
JIIS
2008
13 years 7 months ago
2008
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...