Sciweavers

8766 search results - page 1231 / 1754
» Functional logic programming
Sort
View
CD
2004
Springer
15 years 11 months ago
Asynchronous, Hierarchical, and Scalable Deployment of Component-Based Applications
The deployment of distributed component-based applications is a complex task. Proposed solutions are often centralized, which excludes their use for the deployment of large-scale a...
Vivien Quéma, Roland Balter, Luc Bellissard...
FOSSACS
2004
Springer
15 years 11 months ago
Polynomials for Proving Termination of Context-Sensitive Rewriting
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
Salvador Lucas
GECCO
2004
Springer
15 years 11 months ago
Hybridizing Evolutionary Testing with the Chaining Approach
Fitness functions derived for certain white-box test goals can cause problems for Evolutionary Testing (ET), due to a lack of sufficient guidance to the required test data. Often t...
Phil McMinn, Mike Holcombe
GI
2004
Springer
15 years 11 months ago
Model-based Middleware for Embedded Systems
: In this paper we describe the advantages of a model-based approach to embedded component middleware. Component infrastructures such as Enterprise JavaBeans, Microsoft’s COM+ an...
Chris Salzmann, Martin Thiede, Markus Völter
138
Voted
SIGADA
2004
Springer
15 years 11 months ago
Teaching graphics using Ada
This paper describes several tools related to the Ada language that were developed to support the teaching of a computer graphics course. These tools include an updated and improv...
C. Wayne Brown
« Prev « First page 1231 / 1754 Last » Next »