Immutability specification and its applications
- Igor Pechtchanski
- Vivek Sarkar
- 2005
- CCPE
Paper
Publications
9268 results for Computer Science
Fault tolerance in the R-GMA information and monitoring system
- Rob Byrom
- Brian Coghlan
- et al.
- 2005
- EGC 2005
Conference paperPublic-key steganography with active attacks
- Michael Backes
- Christian Cachin
- 2005
- TCC 2005
Conference paperAdaptively-secure, non-interactive public-key encryption
- Ran Canetti
- Shai Halevi
- et al.
- 2005
- TCC 2005
Conference paperHardness amplification of weakly verifiable puzzles
- Ran Canetti
- Shai Halevi
- et al.
- 2005
- TCC 2005
Conference paperThe design and implementation of grid database services in OGSA-DAI
- Mario Antonioletti
- Malcolm Atkinson
- et al.
- 2005
- CCPE
PaperThe impact of revenues on delivering differentiated IP multimedia services in wired/wireless networks
- Flavio De Angelis
- Ibrahim Habib
- et al.
- 2005
- QoS-IP 2005
Conference paperSeparating type-I odd-cycle inequalities for a binary-encoded edge-coloring formulation
- Jon Lee
- Janny Leung
- et al.
- 2005
- J Combin Optim
PaperReliable control protocol for crossbar arbitration
- Cyriel Minkenberg
- François Abel
- et al.
- 2005
- IEEE Communications Letters
PaperμITRON-LP: Power-conscious real-time OS based on cooperative voltage scaling for multimedia applications
- Hiroshi Kawaguchi
- Youngsoo Shin
- et al.
- 2005
- IEEE TMM
Paper