Sciweavers

823 search results - page 25 / 165
» Stateful Subset Cover
Sort
View
MASCOTS
2001
15 years 7 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»
15 years 10 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»
15 years 10 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
15 years 10 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»
15 years 9 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...