Sciweavers

4469 search results - page 809 / 894
» A Language for Role Specifications
Sort
View
CORR
2008
Springer
120views Education» more  CORR 2008»
15 years 6 months ago
XQuery Join Graph Isolation
A purely relational account of the true XQuery semantics can turn any relational database system into an XQuery processor. Compiling nested expressions of the fully compositional X...
Torsten Grust, Manuel Mayr, Jan Rittinger
AIEDU
2006
73views more  AIEDU 2006»
15 years 6 months ago
Using Knowledge Tracing in a Noisy Environment to Measure Student Reading Proficiencies
Constructing a student model for language tutors is a challenging task. This paper describes using knowledge tracing to construct a student model of reading proficiency and validat...
Joseph E. Beck, June Sison
ENTCS
2008
120views more  ENTCS 2008»
15 years 6 months ago
Reasoning about B+ Trees with Operational Semantics and Separation Logic
The B+ tree is an ordered tree structure with a fringe list. It is the most widely used data structure for data organisation and searching in database systems specifically, and, p...
Alan P. Sexton, Hayo Thielecke
IEE
2008
120views more  IEE 2008»
15 years 6 months ago
Reducing the use of nullable types through non-null by default and monotonic non-null
With Java 5 annotations, we note a marked increase in tools that can statically detect potential null dereferences. To be effective such tools require that developers annotate decl...
Patrice Chalin, Perry R. James, Frédé...
IIE
2008
145views more  IIE 2008»
15 years 6 months ago
Students Learning Experience in the Integrated Information Literacy Course Constructed in Virtual Learning Environment
Abstract. The paper examines the impact of ICT on students learning experiences and opportunities offered by virtual learning environment as an integral part of traditional learnin...
Vilhelmina Vaiciuniene, Genute Gedviliene