Sökresultat - communication communication based extension ((proof c) or (proof a))

1

Publicerad 2010

Innehållsförteckning: “... Science -- Roles, Stacks, Histories: A Triple for Hoare -- Forward with Hoare -- Probabilistic Programming...”
Hämta fulltext

Elektronisk E-bok

2

A Mathematical Introduction to Compressive Sensing

av Foucart, Simon., Foucart, Simon., Rauhut, Holger.
Publicerad 2013

Innehållsförteckning: “... Signals using Deterministic Matrices -- 15 Algorithms for l1-Minimization -- Appendix A Matrix Analysis...”
Hämta fulltext

Elektronisk E-bok

3

Radio Frequency Identification: Security and Privacy Issues 8th International Workshop, RFIDSec 2012, Nijmegen, The Netherlands, July 2-3, 2012, Revised Selected Papers /

Publicerad 2013

Innehållsförteckning: “... for Authentication in RFID Systems.- Designated Attribute-Based Proofs for RFID Applications.- T-Match: Privacy...”
Hämta fulltext

Elektronisk E-bok

4

Information Security 11th International Conference, ISC 2008, Taipei, Taiwan, September 15-18, 2008, Proceedings /

Publicerad 2008

Innehållsförteckning: “... Using Packet Spinning -- Behavior-Based Network Access Control: A Proof-of-Concept -- Path-Based Access...”
Hämta fulltext

Elektronisk E-bok

5

Cryptographic Hardware and Embedded Systems - CHES 2006 8th International Workshop, Yokohama, Japan, October 10-13, 2006, Proceedings /

Publicerad 2006

Innehållsförteckning: “... -- Towards Security Limits in Side-Channel Attacks -- Low Resources -- HIGHT: A New Block Cipher Suitable...”
Hämta fulltext

Elektronisk E-bok

6

Network and System Security 7th International Conference, NSS 2013, Madrid, Spain, June 3-4, 2013, Proceedings /

Publicerad 2013

Innehållsförteckning: “... Technology Independent Security Gateway for Real-Time Multimedia Communication -- Efficient Attribute Based...”
Hämta fulltext

Elektronisk E-bok

7

Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /

Publicerad 2015

Innehållsförteckning: “... Failure to Proof: The ProB Disprover for B and Event-B -- Formalizing a Secure Foreign Function Interface...”
Hämta fulltext

Elektronisk E-bok

8

Distributed Computing -- IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings /

Publicerad 2005

Innehållsförteckning: “... Structures -- A Multi-agent Framework Based on Communication and Concurrency -- Statistical Analysis of a P2P...”
Hämta fulltext

Elektronisk E-bok

9

Argumentation in Multi-Agent Systems 6th International Workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009. Revised Selected and Invited Papers /

Publicerad 2010

Innehållsförteckning: “...Practical Reasoning and Argument about Action -- Burden of Proof in Deliberation Dialogs -- A...”
Hämta fulltext

Elektronisk E-bok

10

Advances in Computer Games 12th International Conference, ACG 2009, Pamplona, Spain, May 11-13, 2009, Revised Papers /

Publicerad 2010

Innehållsförteckning: “... Based Monte-Carlo LOA -- Monte-Carlo Kakuro -- A Study of UCT and Its Enhancements in an Artificial Game...”
Hämta fulltext

Elektronisk E-bok

11

Advances in Cryptology - CRYPTO 2005 25th Annual International Cryptology Conference, Santa Barbara, California, USA, August 14-18, 2005, Proceedings /

Publicerad 2005

Innehållsförteckning: “... -- Communication-Efficient Non-interactive Proofs of Knowledge with Online Extractors -- A Formal Treatment...”
Hämta fulltext

Elektronisk E-bok

12

Progress in Cryptology - AFRICACRYPT 2010 Third International Conference on Cryptology in Africa, Stellenbosch, South Africa, May 3-6, 2010, Proceedings /

Publicerad 2010

Innehållsförteckning: “...Signatures -- A New RSA-Based Signature Scheme -- Fair Blind Signatures without Random Oracles...”
Hämta fulltext

Elektronisk E-bok

13

Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMAX XI, Lisbon, Portugal, August 16-17, 2010, Proceedings /

Publicerad 2010

Innehållsförteckning: “... Extensive Form Games in Parallel -- Exploring the Boundary of Half Positionality -- Proof-Theoretic Analysis...”
Hämta fulltext

Elektronisk E-bok

14

Security and Cryptography for Networks 5th International Conference, SCN 2006, Maiori, Italy, September 6-8, 2006, Proceedings /

Publicerad 2006

Innehållsförteckning: “... Exchange -- About the Security of MTI/C0 and MQV -- Chosen-Ciphertext Secure Threshold Identity-Based Key...”
Hämta fulltext

Elektronisk E-bok

15

Formal Methods and Software Engineering 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings /

Publicerad 2012

Innehållsförteckning: “... Domain Specific Solvers -- State Space c-Reductions of Concurrent Systems in Rewriting Logic -- A...”
Hämta fulltext

Elektronisk E-bok

16

Embedded Computer Systems: Architectures, Modeling, and Simulation 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings /

Publicerad 2005

Innehållsförteckning: “... Context -- SystemQ: A Queuing-Based Approach to Architecture Performance Evaluation with SystemC -- Moving...”
Hämta fulltext

Elektronisk E-bok

17

The Semantic Web – ASWC 2006 First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006, Proceedings /

Publicerad 2006

Innehållsförteckning: “... Analysis Based on Relations in Weblogs -- UniRSS: A New RSS Framework Supporting Dynamic Plug-In of RSS...”
Hämta fulltext

Elektronisk E-bok

18

Languages and Compilers for Parallel Computing 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006, Revised Papers /

Publicerad 2007

Innehållsförteckning: “... Architecture -- Dependence-Based Code Generation for a CELL Processor -- Expression and Loop Libraries for High...”
Hämta fulltext

Elektronisk E-bok

19

Internet and Network Economics Third International Workshop,WINE 2007, San Diego, CA, USA, December 12-14, 2007, Proceedings /

Publicerad 2007

Innehållsförteckning: “... Routing with Linear Utilities -- Mechanism Design I -- False-Name-Proof Mechanisms for Hiring a Team...”
Hämta fulltext

Elektronisk E-bok

20

SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Pro...

Publicerad 2008

Innehållsförteckning: “... -- Clustering-Based Similarity Search in Metric Spaces with Sparse Spatial Centers -- A Useful Bounded Resource...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen