Sciweavers

1363 search results - page 85 / 273
» Distributed Authorization with Distributed Grammars
Sort
View
ECOOPW
1997
Springer
15 years 7 months ago
Patterns of the Agenda
: Most of the study of patterns has been restricted to the composition of "new" patterns. These authors, however, believe that the investigation of design patterns is rip...
Amnon H. Eden, Amiram Yehudai
CONCUR
2010
Springer
15 years 4 months ago
Generic Forward and Backward Simulations II: Probabilistic Simulation
Jonsson and Larsen's notion of probabilistic simulation is studied from a coalgebraic perspective. The notion is compared with two generic coalgebraic definitions of simulatio...
Ichiro Hasuo
CONCUR
2005
Springer
15 years 9 months ago
A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs
Abstract. In this paper we show how to compress efficiently the statespace of a concurrent system (here applied to a simple shared memory model, but this is no way limited to that ...
Eric Goubault, Emmanuel Haucourt
DEDS
2008
48views more  DEDS 2008»
15 years 3 months ago
On the Minimization of Communication in Networked Systems with a Central Station
The problem of minimizing communication in a distributed networked system is considered in a discrete-event formalism where the system is modeled as a finite-state automaton. The s...
Weilin Wang, Stéphane Lafortune, Feng Lin
215
Voted
TOMACS
2011
139views more  TOMACS 2011»
14 years 10 months ago
The double CFTP method
We consider the problem of the exact simulation of random variables Z that satisfy the distributional identity Z L = V Y + (1 − V )Z, where V ∈ [0, 1] and Y are independent, an...
Luc Devroye, Lancelot F. James