Sciweavers

4957 search results - page 536 / 992
» Simplifying Distributed System Development
Sort
View
ASIAN
2003
Springer
127views Algorithms» more  ASIAN 2003»
15 years 11 months ago
A Calculus of Bounded Capacities
Abstract. Resource control has attracted increasing interest in foundational research on distributed systems. This paper focuses on space control and develops an analysis of space ...
Franco Barbanera, Michele Bugliesi, Mariangiola De...
136
Voted
CHI
1997
ACM
15 years 10 months ago
Timewarp: Techniques for Autonomous Collaboration
This paper presents a set of techniques for supporting autonomous collaboration—collaboration where participants work independently for periods, and then join together to integr...
W. Keith Edwards, Elizabeth D. Mynatt
FORMATS
2010
Springer
15 years 4 months ago
Simulation and Bisimulation for Probabilistic Timed Automata
Abstract. Probabilistic timed automata are an extension of timed automata with discrete probability distributions. Simulation and bisimulation relations are widely-studied in the c...
Jeremy Sproston, Angelo Troina
BIRTHDAY
2010
Springer
15 years 3 months ago
QPME 2.0 - A Tool for Stochastic Modeling and Analysis Using Queueing Petri Nets
Abstract Queueing Petri nets are a powerful formalism that can be exploited for modeling distributed systems and analyzing their performance and scalability. By combining the model...
Samuel Kounev, Simon Spinner, Philipp Meier
ATAL
2009
Springer
16 years 1 months ago
From DPS to MAS to ...: continuing the trends
The most important and interesting of the computing challenges we are facing are those that involve the problems and opportunities afforded by massive decentralization and disinte...
Michael N. Huhns