Sciweavers

23557 search results - page 4199 / 4712
» Distributed Computing - Introduction
Sort
View
CONCUR
2003
Springer
15 years 10 months ago
A Compositional Semantic Theory for Synchronous Component-based Design
Abstract. Digital signal processing and control (DSPC) tools allow application developers to assemble systems by connecting predefined components in signal–flow graphs and by h...
Barry Norton, Gerald Lüttgen, Michael Mendler
CONCUR
2003
Springer
15 years 10 months ago
A Process-Algebraic Language for Probabilistic I/O Automata
We present a process-algebraic language for Probabilistic I/O Automata (PIOA). To ensure that PIOA specifications given in our language satisfy the “input-enabled” property, w...
Eugene W. Stark, Rance Cleaveland, Scott A. Smolka
129
Voted
ECAL
2003
Springer
15 years 10 months ago
Meta-evolutionary Game Dynamics for Mathematical Modelling of Rules Dynamics
This paper proposes an evolutionary-game-theory model, called meta-evolutionary game dynamics, for studying the dynamics of rules and individual behaviour. Although there are two g...
Takashi Hashimoto, Yuya Kumagai
ECOOPW
2003
Springer
15 years 10 months ago
Modeling Variability for Object-Oriented Product Lines
The concept of a software product line is a promising approach for increasing planned reusability in industry. For planning future requirements, the integration of domain analysis ...
Matthias Riebisch, Detlef Streitferdt, Ilian Pasho...
EUROPAR
2003
Springer
15 years 10 months ago
Why Not Use a Pattern-Based Parallel Programming System?
Parallel programming is seen as an effective technique to improve the performance of computationally-intensive programs. This is done at the cost of increasing the complexity of t...
John Anvik, Jonathan Schaeffer, Duane Szafron, Kai...
« Prev « First page 4199 / 4712 Last » Next »