Sciweavers

10462 search results - page 183 / 2093
» Towards an
Sort
View
KIVS
2009
Springer
14 years 4 months ago
Towards the Design of Unexploitable Construction Mechanisms for Multiple-Tree Based P2P Streaming Systems
Abstract. In peer-to-peer based live streaming systems, a great number of participants have to cooperate to efficiently and reliably distribute a continuous flow of data. Each rec...
Michael Brinkmeier, Mathias Fischer, Sascha Grau, ...
LOPSTR
2009
Springer
14 years 4 months ago
Towards Just-In-Time Partial Evaluation of Prolog
Abstract. We introduce a just-in-time specializer for Prolog. Just-intime specialization attempts to unify of the concepts and benefits of partial evaluation (PE) and just-in-time...
Carl Friedrich Bolz, Michael Leuschel, Armin Rigo
LORI
2009
Springer
14 years 4 months ago
Toward a Dynamic Logic of Questions
Johan van Benthem, Stefan Minica
MATES
2009
Springer
14 years 4 months ago
Towards Pattern-Oriented Design of Agent-Based Simulation Models
Abstract. The formalization and use of experiences in good model design would make an important contribution to increasing the efficiency of modeling as well as to supporting the k...
Franziska Klügl, Lars Karlsson