4064 search results - page 642 / 813 » Animation: can it facilitate |
VSTTE
2010
Springer
13 years 7 months ago
2010
Springer
Formal modeling of computing systems yields models that are intended to be correct with respect to the requirements that have been formalized. The complexity of typical computing s...
WEBI
2010
Springer
13 years 7 months ago
2010
Springer
The ESP game belongs to the genre called Games with a Purpose (GWAP), which leverage people's desire to be entertained and also outsource certain steps of the computational p...
WISE
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Regarding web searches, users have become used to keywordbased search interfaces due to their ease of use. However, this implies a semantic gap between the user's in...
EDBT
2009
ACM
13 years 7 months ago
2009
ACM
Data Stream Management Systems (DSMS) operate under strict performance requirements. Key to meeting such requirements is to efficiently handle time-critical tasks such as managing...
EXACT
2009
13 years 7 months ago
2009
Across many fields involving complex computing, software systems are being augmented with workflow logging functionality. The log data can be effectively organized using declarativ...