189 search results - page 29 / 38 » Tool Support for Model-Based Generation of Advanced User Int... |
ITP
2010
13 years 9 months ago
2010
Recent advances in termination analysis have yielded new methods and tools that are highly automatic. However, when they fail, even experts have difficulty understanding why and de...
IPPS
1999
IEEE
13 years 12 months ago
1999
IEEE
This paper presents the Pure/Epos approach to deal with the high complexity of adaptable operating systems and also to diminish the distance between application and operating syste...
EHCI
2004
13 years 9 months ago
2004
New display technologies will enable designers to use every surface as a support for interaction with information technology. In this article, we describe techniques and tools for ...
DIGITALCITIES
2003
Springer
14 years 26 days ago
2003
Springer
Today a wide variety of virtual worlds, cities, gaming environments etc. exist and become part of life of their human inhabitants. However, our understanding on how technology infl...
CANS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Anonymous credentials are widely used to certify properties of a credential owner or to support the owner to demand valuable services, while hiding the user’s identity ...