Sciweavers

23589 search results - page 4290 / 4718
» Uncheatable Distributed Computations
Sort
View
217
Voted
CONCUR
2003
Springer
16 years 2 days 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
ECAL
2003
Springer
16 years 2 days 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
240
Voted
ECOOPW
2003
Springer
16 years 2 days 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
16 years 2 days 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...
159
Voted
EUROPAR
2003
Springer
16 years 2 days ago
Exploring the Catallactic Coordination Approach for Peer-to-Peer Systems
Efficient discovery and resource allocation is one of the challenges of current Peer-to-Peer systems. In centralized approaches, the user requests can be matched to the fastest, ch...
Oscar Ardaiz, Pau Artigas, Torsten Eymann, Felix F...
« Prev « First page 4290 / 4718 Last » Next »