Sciweavers

1031 search results - page 167 / 207
» Adding Context to Preferences
Sort
View
JCDL
2003
ACM
114views Education» more  JCDL 2003»
15 years 5 months ago
Understanding Educator Perceptions of "Quality" in Digital Libraries
The purpose of the study was to identify educators’ expectations and requirements for the design of educational digital collections for classroom use. A series of five focus gro...
Tamara Sumner, Michael Khoo, Mimi Recker, Mary Mar...
HT
2010
ACM
15 years 5 months ago
Conversational tagging in twitter
Users on Twitter, a microblogging service, started the phenomenon of adding tags to their messages sometime around February 2008. These tags are distinct from those in other Web 2...
Jeff Huang, Katherine M. Thornton, Efthimis N. Eft...
ASYNC
2002
IEEE
150views Hardware» more  ASYNC 2002»
15 years 4 months ago
Clock Synchronization through Handshake Signalling
We present a method for synchronizing pausible clocks in GALS (Globally Asynchronous, Locally Synchronous) systems. In contrast to most conventional GALS schemes the method is not...
Joep L. W. Kessels, Suk-Jin Kim, Ad M. G. Peeters,...
ISSS
2002
IEEE
133views Hardware» more  ISSS 2002»
15 years 4 months ago
Efficient Simulation of Synthesis-Oriented System Level Designs
Modeling for synthesis and modeling for simulation seem to be two competing goals in the context of C++-based modeling frameworks. One of the reasons is while most hardware system...
Rajesh K. Gupta, Sandeep K. Shukla, Nick Savoiu
SAS
2001
Springer
121views Formal Methods» more  SAS 2001»
15 years 4 months ago
Embedding Chaos
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
Natalia Sidorova, Martin Steffen