108 search results - page 19 / 22 » Communication Complexity of Key Agreement on Small Ranges |
CISS
2007
IEEE
14 years 1 months ago
2007
IEEE
— We consider a sensor network in which the sensors communicate at will when they have something to report, without prior coordination with other sensors or with data collection ...
WORDS
2003
IEEE
14 years 24 days ago
2003
IEEE
Standards-based COTS middleware has been shown to be effective in meeting a range of functional and QoS requirements for distributed real-time and embedded (DRE) systems. Each sta...
ICFP
2008
ACM
14 years 7 months ago
2008
ACM
We describe an axiomatic extension to the Coq proof assistant, that supports writing, reasoning about, and extracting higher-order, dependently-typed programs with side-effects. C...
ICDE
2007
IEEE
14 years 9 months ago
2007
IEEE
It is widely realized that the integration of database and information retrieval techniques will provide users with a wide range of high quality services. In this paper, we study ...
DATE
1998
IEEE
13 years 11 months ago
1998
IEEE
Near-future linac projects put yet unreached requirements on the LLRF control hardware in both performance and manageability. Meeting their field stability targets requires a clea...