Sciweavers

4491 search results - page 307 / 899
» Algorithm Engineering
Sort
View
152
Voted
CBSE
2006
Springer
15 years 7 months ago
On-Demand Quality-Oriented Assistance in Component-Based Software Evolution
Abstract. During an architectural evolution of a component-based software, certain quality attributes may be weakened. This is due to the lack of an explicit definition of the link...
Chouki Tibermacine, Régis Fleurquin, Salah ...
171
Voted
EDBTW
2006
Springer
15 years 7 months ago
A Calculus for Propagating Semantic Annotations Through Scientific Workflow Queries
Scientific workflows facilitate automation, reuse, and reproducibility of scientific data management and analysis tasks. Scientific workflows are often modeled as dataflow networks...
Shawn Bowers, Bertram Ludäscher
FSTTCS
2006
Springer
15 years 7 months ago
Testing Probabilistic Equivalence Through Reinforcement Learning
We propose a new approach to verification of probabilistic processes for which the model may not be available. We use a technique from Reinforcement Learning to approximate how far...
Josee Desharnais, François Laviolette, Sami...
119
Voted
IWSAS
2000
Springer
15 years 7 months ago
Port-Based Adaptable Agent Architecture
To facilitate the design of large-scale, self-adaptive systems, we have developed the Port-Based Adaptable Agent Architecture. This distributed, multiagent architecture allows syst...
Kevin R. Dixon, Theodore Q. Pham, Pradeep K. Khosl...
PEPM
1995
ACM
15 years 7 months ago
The Essence of LR Parsing
Partial evaluation can turn a general parser into a parser generator. The generated parsers surpass those produced by traditional parser generators in speed and compactness. We us...
Michael Sperber, Peter Thiemann