Sciweavers

2211 search results - page 214 / 443
» Comparing Approaches to Implement Feature Model Composition
Sort
View
SEKE
2005
Springer
14 years 3 months ago
Modelling Agent Knowledge with Business Rules
Multi-agent systems have become increasingly mature, but their appearance does not make the traditional OO approach obsolete. On the contrary, OO methodologies can benefit from th...
Liang Xiao 0002, Des Greer
GPCE
2005
Springer
14 years 3 months ago
A Generative Programming Approach to Developing DSL Compilers
Abstract. Domain-Specific Languages (DSLs) represent a proven approach to raising the abstraction level of programming. They offer highlevel constructs and notations dedicated to...
Charles Consel, Fabien Latry, Laurent Révei...
CAV
2010
Springer
179views Hardware» more  CAV 2010»
14 years 2 months ago
Generating Litmus Tests for Contrasting Memory Consistency Models
Well-defined memory consistency models are necessary for writing correct parallel software. Developing and understanding formal specifications of hardware memory models is a chal...
Sela Mador-Haim, Rajeev Alur, Milo M. K. Martin
CIKM
1993
Springer
14 years 2 months ago
Browsing and Querying in Object-Oriented Database
We present a new interface for Object-Oriented Database Management Systems (OODBMSs). The GOODIES1 system combines and expands the functions of many existing interface systems, in...
Juliano Lopes de Oliveira, Ricardo de Oliveira Ani...
IJAIT
2007
69views more  IJAIT 2007»
13 years 10 months ago
A Psychogenetic Algorithm for Behavioral Sequence Learning
: This work presents an original algorithmic model of some essential features of psychogenetic theory, as was proposed by J.Piaget. Specifically, we modeled some elements of cognit...
Vittorio Maniezzo, Matteo Roffilli