183 search results - page 20 / 37 » Details of Formalized Relations in Feature Models Using OCL |
DAGSTUHL
1998
15 years 1 months ago
1998
After brie y reviewing the basic notions and terminology of active rules and relating them to production rules and deductive rules, respectively, we survey a number of formal appro...
100
click to vote
CSCWD
2001
Springer
15 years 4 months ago
2001
Springer
The authors have developed a new approach to database interoperability using the sketch data model. That technique has now been used in a number of applications, but an important ...
105
click to vote
MSWIM
2006
ACM
15 years 5 months ago
2006
ACM
In this paper, we define a model of an ad hoc routing protocol, i.e. the OLSR (Optimized Link-State Routing) protocol. This model handles novel constraints related to such networ...
116
click to vote
LFP
1990
15 years 27 days ago
1990
Quest is a programming language based on impredicative type quantifiers and subtyping within a three-level structure of kinds, types and type operators, and values. The semantics ...
107
click to vote
FGCS
2010
14 years 10 months ago
2010
Bulk Synchronous Parallel ML is a high-level language for programming parallel algorithms. Built upon OCaml and using the BSP model, it provides a safe setting for their implementa...