Sciweavers

1522 search results - page 225 / 305
» Practical Exception Specifications
Sort
View
JUCS
2008
166views more  JUCS 2008»
13 years 9 months ago
Learning Design in Adaptive Educational Hypermedia Systems
: After more than ten years of research aiming at defining methods and techniques to deliver personalized instruction, Adaptive Educational Hypermedia Systems have not made the jum...
Adriana J. Berlanga, Francisco José Garc&ia...
JFP
2006
119views more  JFP 2006»
13 years 9 months ago
Gencel: a program generator for correct spreadsheets
A huge discrepancy between theory and practice exists in one popular application area of functional programming--spreadsheets. Although spreadsheets are the most frequently used (...
Martin Erwig, Robin Abraham, Steve Kollmansberger,...
JIIS
2006
119views more  JIIS 2006»
13 years 9 months ago
Answering constraint-based mining queries on itemsets using previous materialized results
Abstract In recent years, researchers have begun to study inductive databases, a new generation of databases for leveraging decision support applications. In this context, the user...
Roberto Esposito, Rosa Meo, Marco Botta
EJIS
2007
94views more  EJIS 2007»
13 years 9 months ago
Applying ontology-based rules to conceptual modeling: a reflection on modeling decision making
Conceptual modeling represents a domain independently of implementation considerations for purposes of understanding the problem at hand and communicating about it. However, diffe...
Pnina Soffer, Irit Hadar
JSAC
2006
131views more  JSAC 2006»
13 years 9 months ago
On Dynamic Optimization of Packet Matching in High-Speed Firewalls
Abstract--Packet matching plays a critical role in the performance of many network devices and a tremendous amount of research has already been invested to come up with better opti...
Hazem Hamed, Adel El-Atawy, Ehab Al-Shaer