Sciweavers

3224 search results - page 113 / 645
» Abstract Error Projection
Sort
View
AAECC
2007
Springer
113views Algorithms» more  AAECC 2007»
16 years 15 days ago
Generalized Sudan's List Decoding for Order Domain Codes
Abstract. We generalize Sudan’s list decoding algorithm without multiplicity to evaluation codes coming from arbitrary order domains. The number of correctable errors by the prop...
Olav Geil, Ryutaroh Matsumoto
AMI
2009
Springer
15 years 10 months ago
Bug-Free Sensors: The Automatic Verification of Context-Aware TinyOS Applications
Abstract. We provide the first tool for verifying the logic of contextaware applications written for the mainstream sensor network operating system TinyOS; we focus on detecting pr...
Doina Bucur, Marta Z. Kwiatkowska
CRYPTO
1995
Springer
101views Cryptology» more  CRYPTO 1995»
15 years 10 months ago
Robustness Principles for Public Key Protocols
Abstract: We present a number of attacks, some new, on public key protocols. We also advance a number of principles which may help designers avoid many of the pitfalls, and help at...
Ross J. Anderson, Roger M. Needham
CORR
2008
Springer
71views Education» more  CORR 2008»
15 years 6 months ago
Subclose Families, Threshold Graphs, and the Weight Hierarchy of Grassmann and Schubert Codes
Abstract. We discuss the problem of determining the complete weight hierarchy of linear error correcting codes associated to Grassmann varieties and, more generally, to Schubert va...
Sudhir R. Ghorpade, Arunkumar R. Patil, Harish K. ...
MST
2010
105views more  MST 2010»
15 years 4 months ago
On the Automatizability of Polynomial Calculus
Abstract We prove that Polynomial Calculus and Polynomial Calculus with Resolution are not automatizable, unless W[P]-hard problems are fixed parameter tractable by one-side error...
Nicola Galesi, Massimo Lauria