Sciweavers

DAGSTUHL
2004
13 years 6 months ago
The communication complexity of the Exact-N Problem revisited
If Alice has x, y, Bob has x, z and Carol has y, z can they determine if x + y + z = N? They can if (say) Alice broadcasts x to Bob and Carol; can they do better? Chandra, Furst, a...
William I. Gasarch, James Glenn, Andrey Utis
DAGSTUHL
2004
13 years 6 months ago
Foundations of Meta-Pyramids: Languages vs. Metamodels - Episode II: Story of Thotus the Baboon1
Abstract. Despite the recent interest for Model Driven Engineering approaches, the so-called four-layers metamodelling architecture is subject to a lot of debate. The relationship ...
Jean-Marie Favre
DAGSTUHL
2004
13 years 6 months ago
Modelling Learning Subjects as Relationships
This paper describes a novel intellectual structure for the subject space of material designed for selective autodidactic learning in a large knowledge base. This structure is base...
Martin Doerr
DAGSTUHL
2004
13 years 6 months ago
The Kiel Esterel Processor - A Semi-Custom, Configurable Reactive Processor
The synchronous language Esterel is an established language for developing reactive systems. It gives an abstract, well-defined and executable description of the application, and c...
Xin Li, Reinhard von Hanxleden
DAGSTUHL
2004
13 years 6 months ago
04491 Abstracts Collection - Synchronous Programming - SYNCHRON'04
Stephen A. Edwards, Nicolas Halbwachs, Reinhard vo...
DAGSTUHL
2004
13 years 6 months ago
SHIM: A Language for Hardware/Software Integration
Virtually every system designed today is an amalgam of hardware and software. Unfortunately, software and circuits that communicate across the hardware/software boundary are tedio...
Stephen A. Edwards
DAGSTUHL
2004
13 years 6 months ago
04441 Abstracts Collection - Mobile Information Management
Margaret H. Dunham, Birgitta König-Ries, Evag...
DAGSTUHL
2004
13 years 6 months ago
Run-Time Verification
Séverine Colin, Leonardo Mariani