1092 search results - page 64 / 219 » aime 2009 |
RR
2009
Springer
15 years 4 months ago
2009
Springer
In this paper we present an embedding of propositional production systems into µ-calculus, and first-order production systems into fixed-point logic, with the aim of using these...
SARA
2009
Springer
15 years 4 months ago
2009
Springer
Tailoring solver-independent constraint instances to target solvers is an important component of automated constraint modelling. We augment the tailoring process by a set of enhan...
SEKE
2009
Springer
15 years 4 months ago
2009
Springer
Abstract—Business modeling for service engineering aims at flexible transformation of business logic into software code. The ISE framework is an interdisciplinary approach which...
SEKE
2009
Springer
15 years 4 months ago
2009
Springer
Smart environments are subject to intensive academic and industrial research. Many of these research projects deal with challenges such as heterogeneity, personalization and conte...
SERA
2009
Springer
15 years 4 months ago
2009
Springer
—Code modularization provides benefits throughout the software life cycle; however, the presence of crosscutting concerns (CCCs) in software hinders its complete modularization....