544 search results - page 85 / 109 » Overview of QAST 2007 |
148
click to vote
MHCI
2007
Springer
15 years 10 months ago
2007
Springer
Tourism has been a key driver for mobile applications. This short paper presents the design and initial evaluation of a mobile phone based visualisation to support skiers. Paper p...
144
click to vote
MKM
2007
Springer
15 years 10 months ago
2007
Springer
An axiomatic theory represents mathematical knowledge declaratively as a set of axioms. An algorithmic theory represents mathematical knowledge procedurally as a set of algorithms....
112
click to vote
OTM
2007
Springer
15 years 10 months ago
2007
Springer
HARC—the Highly-Available Resource Co-allocator—is an open-source system for reserving multiple resources in a coordinated fashion. HARC can handle different types of resource...
147
click to vote
SEKE
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents the Evospaces reverse-engineering tool that represents the architecture and metrics of complex software systems in a 3D virtual world. The main goal of our pro...
109
click to vote
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
Towards a sustainable society, design of artifacts must be optimized with limited resources on the earth while keeping our life. In order to realize it, I emphasize openness of des...