Sciweavers

1180 search results - page 149 / 236
» Total Functional Software Engineering - Overview Paper
Sort
View
GROUP
2003
ACM
15 years 4 months ago
Using the transformational approach to build a safe and generic data synchronizer
Reconciliating divergent data is an important issue in concurrent engineering, mobile computing and software configuration management. Currently, a lot of synchronizers or merge ...
Pascal Molli, Gérald Oster, Hala Skaf-Molli...
COOPIS
2002
IEEE
15 years 4 months ago
An Infrastructure for Adaptable Middleware
Abstract. Today’s software systems have to deal with an increasing diversity and complexity of execution environments. Next generation applications will have to deal with the unk...
Pierre-Charles David, Thomas Ledoux
POPL
2011
ACM
14 years 1 months ago
Precise reasoning for programs using containers
Containers are general-purpose data structures that provide functionality for inserting, reading, removing, and iterating over elements. Since many applications written in modern ...
Isil Dillig, Thomas Dillig, Alex Aiken
KDD
2005
ACM
130views Data Mining» more  KDD 2005»
15 years 11 months ago
Regression error characteristic surfaces
This paper presents a generalization of Regression Error Characteristic (REC) curves. REC curves describe the cumulative distribution function of the prediction error of models an...
Luís Torgo
FOSSACS
2007
Springer
15 years 5 months ago
Iterator Types
Abstract. System L is a linear λ-calculus with numbers and an iterator, which, although imposing linearity restrictions on terms, has all the computational power of G¨odel’s Sy...
Sandra Alves, Maribel Fernández, Már...