Sciweavers

152 search results - page 2 / 31
» A Systematic Methodology for Developing Component Frameworks
Sort
View
ESOP
2012
Springer
12 years 7 days ago
Generate, Test, and Aggregate - A Calculation-based Framework for Systematic Parallel Programming with MapReduce
Abstract. MapReduce, being inspired by the map and reduce primitives available in many functional languages, is the de facto standard for large scale data-intensive parallel progra...
Kento Emoto, Sebastian Fischer, Zhenjiang Hu
BIRTHDAY
2003
Springer
13 years 9 months ago
Systematic Development of Complex Web-Based User Interfaces
Software components realising the graphical user interface (GUI) of a highly interactive system or the user interface of a Web application form an essential part of the entire impl...
Henrik Behrens, Thorsten Ritter, Hans-Werner Six
DATE
2005
IEEE
122views Hardware» more  DATE 2005»
13 years 10 months ago
Systematic Transaction Level Modeling of Embedded Systems with SystemC
This paper gives an overview of a transaction level modeling (TLM) design flow for straightforward embedded system design with SystemC. The goal is to systematically develop both...
Wolfgang Klingauf
ICFEM
1998
Springer
13 years 8 months ago
Interaction Interfaces - Towards a Scientific Foundation of a Methodological Usage of Message Sequence Charts
We introduce the formal notion of an interaction interface. Its purpose is to specify formally the interaction between two or more components that co-operate as subsystems of a di...
Manfred Broy, Ingolf Krüger
SSS
2010
Springer
125views Control Systems» more  SSS 2010»
13 years 2 months ago
Systematic Correct Construction of Self-stabilizing Systems: A Case Study
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Jo...