Sciweavers

2880 search results - page 194 / 576
» context 2007
Sort
View
ICSOC
2007
Springer
15 years 11 months ago
Service Selection Based on Non-functional Properties
Service-oriented Architecture supports software to be composed from services dynamically. Selecting and composing appropriate services according to business process, policies and n...
Stephan Reiff-Marganiec, HongQing Yu, Marcel Tilly
KI
2007
Springer
15 years 11 months ago
Early History and Perspectives of Automated Deduction
With this talk we want to pay tribute to the late Professor Gerd Veenker who deserves the historic credit of initiating the formation of the German AI community. We present a summa...
Wolfgang Bibel
LOPSTR
2007
Springer
15 years 11 months ago
Preserving Sharing in the Partial Evaluation of Lazy Functional Programs
Abstract. The goal of partial evaluation is the specialization of programs w.r.t. part of their input data. Although this technique is already well-known in the context of function...
Sebastian Fischer, Josep Silva, Salvador Tamarit, ...
LPAR
2007
Springer
15 years 11 months ago
Complexity of Planning in Action Formalisms Based on Description Logics
Abstract. In this paper, we continue the recently started work on integrating action formalisms with description logics (DLs), by investigating planning in the context of DLs. We p...
Maja Milicic
OTM
2007
Springer
15 years 11 months ago
Extending BPMN for Modeling Complex Choreographies
Capturing the interaction behavior between two or more business parties has major importance in the context of business-tobusiness (B2B) process integration. The Business Process M...
Gero Decker, Frank Puhlmann