Sciweavers

9604 search results - page 133 / 1921
» The Duality of TIme and Information
Sort
View
FTRTFT
1992
Springer
15 years 10 months ago
Specification and Verification of Real-Time Behaviour Using Z and RTL
Real-Time Logic is a formal notation for reasoning about temporal behaviour. Z is a general purpose specification language, but lacks explicit features for expressing real-time co...
Colin J. Fidge
PE
2002
Springer
128views Optimization» more  PE 2002»
15 years 6 months ago
Response times in a two-node queueing network with feedback
The study presented in this paper is motivated by the performance analysis of response times in distributed information systems, where transactions are handled by iterative server...
Robert D. van der Mei, Bart Gijsen, N. in't Veld, ...
CSCW
2010
ACM
15 years 3 months ago
Infrastructure Time: Long-term Matters in Collaborative Development
This paper addresses the collaborative development of information infrastructure for supporting data-rich scientific collaboration. Studying infrastructure development empirically ...
Helena Karasti, Karen S. Baker, Florence Millerand
SIGIR
2009
ACM
16 years 1 months ago
Segment-level display time as implicit feedback: a comparison to eye tracking
We examine two basic sources for implicit relevance feedback on the segment level for search personalization: eye tracking and display time. A controlled study has been conducted ...
Georg Buscher, Ludger van Elst, Andreas Dengel
FCCM
2004
IEEE
130views VLSI» more  FCCM 2004»
15 years 10 months ago
Hyperreconfigurable Architectures for Fast Run Time Reconfiguration
Dynamically reconfigurable architectures or systems are able to reconfigure their function and/or structure to suit changing needs of a computation during run time. The increasing...
Sebastian Lange, Martin Middendorf