Sciweavers

1776 search results - page 210 / 356
» Using a Logic Programming Language with Persistence and Cont...
Sort
View
136
Voted
MKWI
2008
206views Business» more  MKWI 2008»
15 years 5 months ago
Service-Oriented Architecture: Introducing a Query Language
: Language offers human beings the ability to exchange information. Whether the information is understood or not depends on the structure, complexity and knowledge of the language....
Sebastian Günther, Claus Rautenstrauch, Niko ...
141
Voted
IOR
2007
106views more  IOR 2007»
15 years 3 months ago
Planning and Scheduling by Logic-Based Benders Decomposition
We combine mixed integer linear programming (MILP) and constraint programming (CP) to solve an important class of planning and scheduling problems. Tasks are allocated to faciliti...
John N. Hooker
125
Voted
ECOOP
2007
Springer
15 years 7 months ago
Product Line Variability Refactoring Tool
With the growing academic and industrial interest in Software Product Lines (SPL), one area demanding special attention is tool support development, which is a pre-requisite for w...
Fernando Calheiros, Vilmar Nepomuceno, Paulo Borba...
DOCENG
2009
ACM
15 years 1 months ago
Relating declarative hypermedia objects and imperative objects through the NCL glue language
This paper focuses on the support provided by NCL (Nested Context Language) to relate objects with imperative code content and declarative hypermedia-objects (objects with declara...
Luiz Fernando Gomes Soares, Marcelo Ferreira Moren...
FAABS
2004
Springer
15 years 9 months ago
Towards Timed Automata and Multi-agent Systems
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
Guillaume Hutzler, Hanna Klaudel, D. Yue Wang