Sciweavers

4476 search results - page 576 / 896
» A flexible framework for engineering
Sort
View
IESA
2007
15 years 8 months ago
Business Level Service-Oriented Enterprise Application Integration
In this paper we propose a new approach for service-oriented enterprise application integration (EAI). Unlike current EAI solutions, which mainly focus on technological aspects, ou...
Stanislav Pokraev, Dick A. C. Quartel, Maarten W. ...
FOSSACS
2008
Springer
15 years 8 months ago
Deriving Bisimulation Congruences in the Presence of Negative Application Conditions
In recent years there have been several approaches for the automatic derivation of labels from an unlabeled reactive system. This can be done in such a way that the resulting bisim...
Guilherme Rangel, Barbara König, Hartmut Ehri...
HCI
2007
15 years 8 months ago
Integrating Innovative Neuro-educational Technologies (I-Net) into K-12 Science Classrooms
With the U.S. facing a decline in science, math and engineering skills, there is a need for educators in these fields to team with engineers and cognitive scientists to pioneer nov...
Ronald H. Stevens, Trysha Galloway, Chris Berka
ECIR
2006
Springer
15 years 8 months ago
Structural Feedback for Keyword-Based XML Retrieval
Keyword-based queries are an important means to retrieve information from XML collections with unknown or complex schemas. Relevance Feedback integrates relevance information provi...
Ralf Schenkel, Martin Theobald
FSTTCS
2008
Springer
15 years 7 months ago
Analyzing the Implicit Computational Complexity of object-oriented programs
A sup-interpretation is a tool which provides upper bounds on the size of the values computed by the function symbols of a program. Sup-interpretations have shown their interest to...
Jean-Yves Marion, Romain Péchoux