1604 search results - page 62 / 321 » Development Separation in Lambda-Calculus |
FOSSACS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We investigate a category theoretic model where both “variables” and “names”, usually viewed as separate notions, are particular cases of the more general notion ...
ICA
2004
Springer
14 years 2 months ago
2004
Springer
Different Computer Aided Diagnosis (CAD) systems have been recently developed to detect microcalcifications (MCs) in digitalized mammography, among other techniques, applying Gen...
GPCE
2003
Springer
14 years 2 months ago
2003
Springer
We present SynchNet, a compositional meta-level language for coordination of distributed. Its design is based on the principle of separation of concerns, namely separation of the c...
VLDB
1997
ACM
14 years 1 months ago
1997
ACM
We present a multi-dimensional database model, which we believe can serve as a conceptual model for On-Line Analytical Processing (OLAP)-based applications. Apart from providing t...
AMAST
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. The motivation for this work is to support a natural separation of concerns during formal system development. In a developmentby-refinement context, we would like to be a...