Sciweavers

4480 search results - page 332 / 896
» Prototyping Completion with Constraints Using Computational ...
Sort
View
ICDE
2001
IEEE
121views Database» more  ICDE 2001»
16 years 8 months ago
Model-Based Mediation with Domain Maps
We propose an extension to current view-based mediator systems called model-based mediation, in which views are defined and executed at the level of conceptual models (CMs) rather...
Amarnath Gupta, Bertram Ludäscher, Maryann E....
DAGSTUHL
2003
15 years 8 months ago
Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...
Holger Giese, Florian Klein, Sven Burmester
GD
2004
Springer
16 years 1 days ago
QUOGGLES: Query On Graphs - A Graphical Largely Extensible System
We describe the query and data processing language QUOGGLES which is particularly designed for the application on graphs. It uses a pipeline-like technique known from command line ...
Paul Holleis, Franz-Josef Brandenburg
DSN
2007
IEEE
16 years 1 months ago
Using Process-Level Redundancy to Exploit Multiple Cores for Transient Fault Tolerance
Transient faults are emerging as a critical concern in the reliability of general-purpose microprocessors. As architectural trends point towards multi-threaded multi-core designs,...
Alex Shye, Tipp Moseley, Vijay Janapa Reddi, Josep...
SAC
2003
ACM
15 years 12 months ago
Recognizing the Relations between Web Pages Using Artificial Neural Network
Semantic Web shows us the potential infrastructure of the next generation Web. Web information will be understandable to machines in this infrastructure. Our research work1 has th...
Xing Zhu, Shen Huang, Yong Yu