Sciweavers

1466 search results - page 100 / 294
» Completeness of the Authentication Tests
Sort
View
140
Voted
ATAL
2008
Springer
15 years 6 months ago
Coalitional skill games
We consider Coalitional Skill Games (CSGs), a simple model of cooperation among agents. This is a restricted form of coalitional games, where each agent has a set of skills that a...
Yoram Bachrach, Jeffrey S. Rosenschein
JLP
2010
85views more  JLP 2010»
14 years 10 months ago
Synchronous Kleene algebra
The work presented here investigates the combination of Kleene algebra with the synchrony model of concurrency from Milner's SCCS calculus. The resulting algebraic structure ...
Cristian Prisacariu
FSTTCS
2009
Springer
15 years 10 months ago
Arithmetic Circuits and the Hadamard Product of Polynomials
Motivated by the Hadamard product of matrices we define the Hadamard product of multivariate polynomials and study its arithmetic circuit and branching program complexity. We also...
Vikraman Arvind, Pushkar S. Joglekar, Srikanth Sri...
124
Voted
ETFA
2005
IEEE
15 years 9 months ago
Dynamic guarantee in component-based distributed real-time systems
This work describes the proposal of a set of mechanisms to be applied in distributed component-based systems to allow the development of real-time applications capable of offering...
Cássia Yuri Tatibana, Rômulo Silva de...
113
Voted
EURODAC
1994
IEEE
94views VHDL» more  EURODAC 1994»
15 years 8 months ago
A Study of Undetectable Non-Feedback Shorts for the Purpose of Physical-DFT
Undetectable shorts may decrease the long term reliability of a circuit, cause intermittent failures, add noise and delay, or increase test pattern generation costs. This paper de...
Richard McGowen, F. Joel Ferguson