Sciweavers

309 search results - page 16 / 62
» On a Balanced Property of Derangements
Sort
View
CONCUR
2005
Springer
15 years 3 months ago
Constraint Solving for Contract-Signing Protocols
Research on the automatic analysis of cryptographic protocols has so far mainly concentrated on reachability properties, such as secrecy and authentication. Only recently it was sh...
Detlef Kähler, Ralf Küsters
APCCAS
2006
IEEE
242views Hardware» more  APCCAS 2006»
15 years 3 months ago
Gramian-Preserving Frequency Transformation for State-Space Digital Filters
Abstract— This paper proposes a new expression of frequency transformation for state-space digital filters. The proposed frequency transformation has the property of preserving ...
Shunsuke Koshita, Masahide Abe, Masayuki Kawamata
INFOCOM
2008
IEEE
15 years 4 months ago
Cross-Monotonic Multicast
—In the routing and cost sharing of multicast towards a group of potential receivers, cross-monotonicity is a property that states a user’s payment can only be smaller when ser...
Zongpeng Li
CORR
2010
Springer
152views Education» more  CORR 2010»
14 years 7 months ago
Power Allocation and Spectrum Sharing in Multi-User, Multi-Channel Systems with Strategic Users
We consider the decentralized power allocation and spectrum sharing problem in multi-user, multichannel systems with strategic users. We present a mechanism/game form that has the...
Ali Kakhbod, Demosthenis Teneketzis
CORR
2011
Springer
205views Education» more  CORR 2011»
14 years 4 months ago
Random Walk on Directed Dynamic Graphs
Dynamic graphs have emerged as an appropriate model to capture the changing nature of many modern networks, such as peer-to-peer overlays and mobile ad hoc networks. Most of the re...
Oksana Denysyuk, Luis Rodrigues