932 search results - page 55 / 187 » Verifying Progress in Timed Systems |
117
Voted
ECIS
2001
15 years 5 months ago
2001
Information systems development is regarded as a series of distributed activities aiming at allocating resources in order to promote the development and use of computer-based syst...
140
Voted
IUI
1999
ACM
15 years 8 months ago
1999
ACM
Model-based interface development systems have not been able to progress beyond producing narrowly focused interface designs of restricted applicability. We identify a -abstractio...
109
Voted
3DPH
2009
15 years 4 months ago
2009
Disorientation induced by G-forces during aerobatic flight generates difficulties for the pilots to perfectly align their aerobatic maneuver. This paper presents a modular wearable...
126
Voted
RIAO
2004
15 years 5 months ago
2004
Monitoring user-system performance in interactive search is a challenging task. Traditional measures of retrieval evaluation, based on recall and precision, are not of any use in ...
207
Voted
VLDB
2007
ACM
16 years 3 months ago
2007
ACM
In this demonstration, we present the main-memory based streaming XQuery engine GCX which implements novel buffer management strategies that combine static and dynamic analysis to...