Sciweavers

7139 search results - page 1061 / 1428
» Language Engineering in Practice
Sort
View
161
Voted
ECOOP
2005
Springer
16 years 11 days ago
The Emergent Structure of Development Tasks
Abstract. Integrated development environments have been designed and engineered to display structural information about the source code of large systems. When a development task li...
Gail C. Murphy, Mik Kersten, Martin P. Robillard, ...
FSTTCS
2005
Springer
16 years 11 days ago
Testing Concurrent Systems: An Interpretation of Intuitionistic Logic
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
Radha Jagadeesan, Gopalan Nadathur, Vijay A. Saras...
ICLP
2005
Springer
16 years 10 days ago
Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming
Abstract. In recent work, a general framework for specifying program correspondences under the answer-set semantics has been defined. The framework allows to define different not...
Hans Tompits, Stefan Woltran
RULEML
2005
Springer
16 years 9 days ago
Using SWRL and OWL to Capture Domain Knowledge for a Situation Awareness Application Applied to a Supply Logistics Scenario
Abstract. When developing situation awareness applications we begin by constructing an OWL ontology to capture a language of discourse for the domain of interest. Such an ontology,...
Christopher J. Matheus, Kenneth Baclawski, Mieczys...
SOCO
2005
Springer
16 years 9 days ago
Flexible Binding for Reusable Composition of Web Services
Abstract. In addition to publishing composite services as reusable services, compositions can also be reused by applying them to orchestrate different component services. To do so...
Cesare Pautasso, Gustavo Alonso
« Prev « First page 1061 / 1428 Last » Next »