Sciweavers

4419 search results - page 765 / 884
» Information Science in Transition
Sort
View
JUCS
2008
144views more  JUCS 2008»
14 years 10 months ago
Applications of Mash-ups for a Digital Journal
: The WWW is currently experiencing a revolutionary growth due to numerous emerging tools, techniques and concepts. Digital journals thus need to transform themselves to cope with ...
Muhammad Salman Khan, Narayanan Kulathuramaiyer, H...
ENTCS
2007
126views more  ENTCS 2007»
14 years 10 months ago
Nominal Reasoning Techniques in Coq: (Extended Abstract)
d Abstract) Brian Aydemir Aaron Bohannon Stephanie Weirich Department of Computer and Information Science University of Pennsylvania Philadelphia, PA, USA We explore an axiomatize...
Brian E. Aydemir, Aaron Bohannon, Stephanie Weiric...
JPDC
2006
106views more  JPDC 2006»
14 years 10 months ago
Adaptive algorithms for the dynamic distribution and parallel execution of agent-based models
We propose a framework for defining agent-based models (ABMs) and two algorithms for the automatic parallelization of agent-based models, a general version P-ABMG for all ABMs def...
Matthias Scheutz, Paul W. Schermerhorn
SIGCSE
2008
ACM
189views Education» more  SIGCSE 2008»
14 years 10 months ago
Operational experience with a virtual networking laboratory
Virtual laboratories are a potential replacement for standard laboratory facilities. Use of these virtual resources can reduce cost and maintenance overheads for teaching institut...
Charlie Wiseman, Ken Wong, Tilman Wolf, Sergey Gor...
SIGCSE
2008
ACM
150views Education» more  SIGCSE 2008»
14 years 10 months ago
Backstop: a tool for debugging runtime errors
The errors that Java programmers are likely to encounter can roughly be categorized into three groups: compile-time (semantic and syntactic), logical, and runtime (exceptions). Wh...
Christian Murphy, Eunhee Kim, Gail E. Kaiser, Adam...