Sciweavers

1312 search results - page 217 / 263
» Quantitative Comparison of Languages
Sort
View
ENTCS
2008
87views more  ENTCS 2008»
13 years 10 months ago
A Lightweight Approach for the Semantic Validation of Model Refinements
Model Driven Engineering proposes the use of models at different levels of ion. Step by step validation of model refinements is necessary to guarantee the correctness of the final ...
Claudia Pons, Diego García
CORR
2006
Springer
135views Education» more  CORR 2006»
13 years 10 months ago
Constraint Functional Logic Programming over Finite Domains
In this paper, we present our proposal to Constraint Functional Logic Programming over Finite Domains (CFLP(FD) ) with a lazy functional logic programming language which seamlessl...
Antonio J. Fernández, Maria Teresa Hortal&a...
INFORMATICALT
2008
162views more  INFORMATICALT 2008»
13 years 10 months ago
Vague Rough Set Techniques for Uncertainty Processing in Relational Database Model
Abstract. The study of databases began with the design of efficient storage and data sharing techniques for large amount of data. This paper concerns the processing of imprecision ...
Karan Singh, Samajh Singh Thakur, Mangi Lal
JSS
2008
94views more  JSS 2008»
13 years 10 months ago
Examining the significance of high-level programming features in source code author classification
The use of Source Code Author Profiles (SCAP) represents a new, highly accurate approach to source code authorship identification that is, unlike previous methods, language indepe...
Georgia Frantzeskou, Stephen G. MacDonell, Efstath...
JUCS
2007
97views more  JUCS 2007»
13 years 9 months ago
A Framework for the Conceptualization of Approaches to "Create-by-Reuse" of Learning Design Solutions
: IMS Learning Design (IMS LD) is an interoperable and standardized language that enables the computational representation of Units of Learning (UoLs). However, its adoption and ex...
Davinia Hernández Leo, Andreas Harrer, Juan...