Sciweavers

823 search results - page 25 / 165
» Stateful Subset Cover
Sort
View
MASCOTS
2001
13 years 11 months ago
An Evaluation of Grouping Techniques for State Dissemination in Networked Multi-User Games
In a distributed multi-user game, entities need to communicate their state information to other entities. Usually only a subset of the game's entities are interested in infor...
Li Zou, Mostafa H. Ammar, Christophe Diot
IMA
2001
Springer
80views Cryptology» more  IMA 2001»
14 years 2 months ago
Spectrally Bounded Sequences, Codes, and States: Graph Constructions and Entanglement
A recursive construction is provided for sequence sets which possess good Hamming Distance and low Peak-to-Average Power Ratio (PAR) under any Local Unitary Unimodular Transform. W...
Matthew G. Parker
TACAS
1997
Springer
146views Algorithms» more  TACAS 1997»
14 years 2 months ago
Compositional State Space Generation from Lotos Programs
This paper describes a compositional approach to generate the labeled transition system representing the behavior of a Lotos program by repeatedly alternating composition and reduc...
Jean-Pierre Krimm, Laurent Mounier
CAISE
2007
Springer
14 years 2 months ago
Formalization and Verification of EPCs with OR-Joins Based on State and Context
The semantics of the OR-join in business process modeling languages like EPCs or YAWL have been discussed for a while. Still, the existing solutions suffer from at least one of two...
Jan Mendling, Wil M. P. van der Aalst
CRYPTO
2004
Springer
97views Cryptology» more  CRYPTO 2004»
14 years 2 months ago
Efficient Tree-Based Revocation in Groups of Low-State Devices
Abstract. We study the problem of broadcasting confidential information to a collection of n devices while providing the ability to revoke an arbitrary subset of those devices (and...
Michael T. Goodrich, Jonathan Z. Sun, Roberto Tama...