1003 search results - page 72 / 201 » Proposal of Generalized Rule Programming Model |
148
Voted
EMSOFT
2006
Springer
15 years 6 months ago
2006
Springer
Concurrent programming languages should be a good fit for embedded systems because they match the intrinsic parallelism of their architectures and environments. Unfortunately, typ...
74
Voted
OOPSLA
2005
Springer
15 years 8 months ago
2005
Springer
Feature-based model templates have been proposed as a technique for modeling software product lines. We describe a set of tools supporting the technique, namely a feature model ed...
101
Voted
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
A number of researchers have proposed the use of Boolean satisfiability solvers for verifying C programs. They encode correctness checks as Boolean formulas using finitization: ...
108
Voted
MODELS
2009
Springer
15 years 9 months ago
2009
Springer
Variability modelling with feature models is one key technique for specifying the problem space of software product lines (SPLs). To allow for the automatic derivation of a concre...
111
Voted
CORR
2007
Springer
15 years 2 months ago
2007
Springer
Data mining is a useful decision support technique that can be used to discover production rules in warehouses or corporate data. Data mining research has made much effort to appl...