Sciweavers

2162 search results - page 229 / 433
» A Meta-Notation for Protocol Analysis
Sort
View
SENSYS
2003
ACM
15 years 12 months ago
Integrated coverage and connectivity configuration in wireless sensor networks
An effective approach for energy conservation in wireless sensor networks is scheduling sleep intervals for extraneous nodes, while the remaining nodes stay active to provide cont...
Xiaorui Wang, Guoliang Xing, Yuanfang Zhang, Cheny...
ICDCS
1998
IEEE
15 years 11 months ago
Some Economics of Market-Based Distributed Scheduling
Market mechanisms solve distributed scheduling problems by allocating the scheduled resources according to market prices. We model distributed scheduling as a discrete resource al...
William E. Walsh, Michael P. Wellman, Peter R. Wur...
PKC
1998
Springer
158views Cryptology» more  PKC 1998»
15 years 10 months ago
A Cellular Automaton Based Fast One-Way Hash Function Suitable for Hardware Implementation
One-way hash functions are an important tool in achieving authentication and data integrity. The aim of this paper is to propose a novel one-way hash function based on cellular aut...
Miodrag J. Mihaljevic, Yuliang Zheng, Hideki Imai
SP
1996
IEEE
106views Security Privacy» more  SP 1996»
15 years 10 months ago
Security Properties and CSP
Security properties such as con dentiality and authenticity may be considered in terms of the ow of messages within a network. To the extent that this characterisation is justi ed...
Steve Schneider
CMMR
2009
Springer
190views Music» more  CMMR 2009»
15 years 10 months ago
Algorithms for an Automatic Transcription of Live Music Performances into Symbolic Format
This paper addresses the problem of the real-time automatic transcription of a live music performance into a symbolic format. The source data are given by any music instrument or o...
Stefano Baldan, Luca A. Ludovico, Davide A. Mauro