Sciweavers

2002 search results - page 212 / 401
» Interactive technical illustration
Sort
View
JODL
2000
201views more  JODL 2000»
15 years 6 months ago
A transaction log analysis of a digital library
As experimental digital library testbeds gain wider acceptance and develop significant user bases, it becomes important to investigate the ways in which users interact with the sy...
Steve Jones, Sally Jo Cunningham, Rodger J. McNab,...
TCAD
1998
95views more  TCAD 1998»
15 years 5 months ago
A framework for comparing models of computation
—We give a denotational framework (a “meta model”) within which certain properties of models of computation can be compared. It describes concurrent processes in general term...
Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
ITP
2010
155views Mathematics» more  ITP 2010»
15 years 4 months ago
Translation in XBRL standardization
eXtensible Business Reporting Language (XBRL) presents new opportunities for integrating information flow within communities of diverse organisations thereby significantly enhanci...
Indrit Troshani, Andy Lymer
SIAMCOMP
2010
97views more  SIAMCOMP 2010»
15 years 4 months ago
Designing Network Protocols for Good Equilibria
Designing and deploying a network protocol determines the rules by which end users interact with each other and with the network. We consider the problem of designing a protocol t...
Ho-Lin Chen, Tim Roughgarden, Gregory Valiant
IJDET
2010
157views more  IJDET 2010»
15 years 3 months ago
Integrating Adaptive Games in Student-Centered Virtual Learning Environments
: The increasing adoption of e-Learning technology is facing new challenges such as how to produce student-centered systems that can be adapted to the needs of each student. In thi...
Ángel del Blanco, Javier Torrente, Pablo Mo...