Sciweavers

2897 search results - page 123 / 580
» Test Case Integration: From Components to Systems
Sort
View
IDEAS
2010
IEEE
238views Database» more  IDEAS 2010»
13 years 8 months ago
An integrative approach to query optimization in native XML database management systems
Even though an effective cost-based query optimizer is of utmost importance for the efficient evaluation of XQuery expressions in native XML database systems, such a component is...
Andreas M. Weiner, Theo Härder
MEMOCODE
2008
IEEE
14 years 4 months ago
From Data to Events: Checking Properties on the Control of a System
We present a component-based description language for heterogeneous systems composed of several data flow processing components and a unique eventbased controller. Descriptions a...
Christophe Jacquet, Frédéric Boulang...
FAC
2008
64views more  FAC 2008»
13 years 10 months ago
Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine
A stream X-machine is a type of extended finite state machine with an associated development approach that consists of building a system from a set of trusted components. One of th...
Robert M. Hierons, Florentin Ipate
CASES
2007
ACM
14 years 2 months ago
Compiler generation from structural architecture descriptions
With increasing complexity of modern embedded systems, the availability of highly optimizing compilers becomes more and more important. At the same time, application specific inst...
Florian Brandner, Dietmar Ebner, Andreas Krall
EXACT
2008
14 years 14 days ago
Integrating Probabilistic and Knowledge-Based Systems for Explanation Generation
An important requirement for intelligent assistants is to have an explanation generation mechanism, so that the trainee has a better understanding of the recommended actions and ca...
Francisco Elizalde, Luis Enrique Sucar, Julieta No...