Sciweavers

3713 search results - page 370 / 743
» Quantum Information Theory
Sort
View
CAISE
2004
Springer
15 years 11 months ago
Goal-Driven Analysis of Process Model Validity
Business process modeling and design, which has attracted much attention in recent years, emphasizes mainly graphical representation, usually without an underlying theory. The lack...
Pnina Soffer, Yair Wand
IPSN
2004
Springer
15 years 11 months ago
Naps: scalable, robust topology management in wireless ad hoc networks
Topology management schemes conserve energy in wireless ad hoc networks by identifying redundant nodes that may turn off their radios or other components while maintaining connec...
Brighten Godfrey, David Ratajczak
ITS
2004
Springer
94views Multimedia» more  ITS 2004»
15 years 11 months ago
A Model for Student Knowledge Diagnosis Through Adaptive Testing
This work presents a model for student knowledge diagnosis that can be used in ITSs for student model update. The diagnosis is accomplished through Computerized Adaptive Testing (C...
Eduardo Guzmán, Ricardo Conejo
POPL
2003
ACM
15 years 11 months ago
From control effects to typed continuation passing
First-class continuations are a powerful computational effect, allowing the programmer to express any form of jumping. Types and effect systems can be used to reason about contin...
Hayo Thielecke
DIGRA
2003
Springer
15 years 11 months ago
As if by Magic: On Harry Potter as a Novel and Computer Game
This paper examines the computer game Harry Potter and the Philosopher’s Stone in relation to the novel with the same title. The analysis focuses on the temporal aspects of the ...
Anna Gunder