544 search results - page 85 / 109 » Overview of QAST 2007 |
105
click to vote
MHCI
2007
Springer
15 years 6 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...
100
click to vote
MKM
2007
Springer
15 years 6 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....
OTM
2007
Springer
15 years 6 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...
104
click to vote
SEKE
2007
Springer
15 years 5 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...
SEMWEB
2007
Springer
15 years 5 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...