Result 1 to 20 of 1103 total
Local search neighbourhoods for dealing with a novel nurse rostering model. (English)
Ann. Oper. Res. 194, 33-57 (2012).
1
Unified and optimized linear collision attacks and their application in a non-profiled setting. (English)
Prouff, Emmanuel (ed.) et al., Cryptographic hardware and embedded systems - CHES 2012. 14th international workshop, Leuven, Belgium, September 9‒12, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33026-1/pbk). Lecture Notes in Computer Science 7428, 175-192 (2012).
2
Compatibility of data-centric web services. (English)
Carbone, Marco (ed.) et al., Web services and formal methods. 8th international workshop, WS-FM 2011, Clermont-Ferrand, France, September 1‒2, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-29833-2/pbk). Lecture Notes in Computer Science 7176, 32-47 (2012).
3
Modeling the supervisory control theory with Alloy. (English)
Derrick, John (ed.) et al., Abstract state machines, Alloy, B, VDM, and Z. Third international conference, ABZ 2012, Pisa, Italy, June 18‒21, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30884-0/pbk). Lecture Notes in Computer Science 7316, 94-107 (2012).
4
Multiple differential cryptanalysis using LLR and $χ^{2}$ statistics. (English)
Visconti, Ivan (ed.) et al., Security and cryptography for networks. 8th international conference, SCN 2012, Amalfi, Italy, September 5‒7, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32927-2/pbk). Lecture Notes in Computer Science 7485, 343-360 (2012).
5
Group signatures with almost-for-free revocation. (English)
Safavi-Naini, Reihaneh (ed.) et al., Advances in cryptology ‒ CRYPTO 2012. 32nd annual cryptology conference, Santa Barbara, CA, USA, August 19‒23, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32008-8/pbk). Lecture Notes in Computer Science 7417, 571-589 (2012).
6
Ensuring reachability by design. (English)
Roychoudhury, Abhik (ed.) et al., Theoretical aspects of computing ‒ ICTAC 2012. 9th international colloquium, Bangalore, India, September 24‒27, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32942-5/pbk). Lecture Notes in Computer Science 7521, 213-227 (2012).
7
A signature scheme for distributed executions based on control flow analysis. (English)
Bouvry, Pascal (ed.) et al., Security and intelligent information systems. International joint conferences, SIIS 2011, Warsaw, Poland, June 13‒14, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-25260-0/pbk). Lecture Notes in Computer Science 7053, 85-102 (2012).
8
Synchronous interface theories and time triggered scheduling. (English)
Giese, Holger (ed.) et al., Formal techniques for distributed systems. Joint 14th IFIP WG 6.1 international conference, FMOODS 2012 and 32nd IFIP WG 6.1 international conference, FORTE 2012, Stockholm, Sweden, June 13‒16, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30792-8/pbk). Lecture Notes in Computer Science 7273, 203-218 (2012).
9
Anonymous broadcast encryption: adaptive security and efficient constructions in the standard model. (English)
Fischlin, Marc (ed.) et al., Public key cryptography ‒ PKC 2012. 15th international conference on practice and theory in public key cryptography, Darmstadt, Germany, May 21‒23, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30056-1/pbk). Lecture Notes in Computer Science 7293, 206-224 (2012).
10
Scalable group signatures with revocation. (English)
Pointcheval, David (ed.) et al., Advances in cryptology ‒ EUROCRYPT 2012. 31st annual international conference on the theory and applications of cryptographic techniques, Cambridge, UK, April 15‒19, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29010-7/pbk). Lecture Notes in Computer Science 7237, 609-627 (2012).
11
Coupling and importance sampling for statistical model checking. (English)
Flanagan, Cormac (ed.) et al., Tools and algorithms for the construction and analysis of systems. 18th international conference, TACAS 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24‒April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28755-8/pbk). Lecture Notes in Computer Science 7214, 331-346 (2012).
12
Non-interactive CCA-secure threshold cryptosystems with adaptive security: New framework and constructions. (English)
Cramer, Ronald (ed.), Theory of cryptography. 9th theory of cryptography conference, TCC 2012, Taormina, Sicily, Italy, March 19‒21, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28913-2/pbk). Lecture Notes in Computer Science 7194, 75-93 (2012).
13
Short attribute-based signatures for threshold predicates. (English)
Dunkelman, Orr (ed.), Topics in cryptology ‒ CT-RSA 2012. The cryptographers’ track at the RSA conference 2012, San Francisco, CA, USA, February 27‒March 2, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27953-9/pbk). Lecture Notes in Computer Science 7178, 51-67 (2012).
14
Fully forward-secure group signatures. (English)
Naccache, David (ed.), Cryptography and security: From theory to applications. Essays dedicated to Jean-Jacques Quisquater on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-642-28367-3/pbk). Lecture Notes in Computer Science 6805, 156-184 (2012).
15
Extracting and visualizing quotations from news wires. (English)
Vetulani, Zygmunt (ed.), Human language technology. Challenges for computer science and linguistics. 4th language and technology conference, LTC 2009, Poznan, Poland, November 6‒8, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-20094-6/pbk). Lecture Notes in Computer Science 6562. Lecture Notes in Artificial Intelligence, 522-532 (2011).
16
Unsupervised and open ontology-based semantic analysis. (English)
Vetulani, Zygmunt (ed.), Human language technology. Challenges for computer science and linguistics. 4th language and technology conference, LTC 2009, Poznan, Poland, November 6‒8, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-20094-6/pbk). Lecture Notes in Computer Science 6562. Lecture Notes in Artificial Intelligence, 245-256 (2011).
17
Using lexicon-grammar tables for French verbs in a large-coverage parser. (English)
Vetulani, Zygmunt (ed.), Human language technology. Challenges for computer science and linguistics. 4th language and technology conference, LTC 2009, Poznan, Poland, November 6‒8, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-20094-6/pbk). Lecture Notes in Computer Science 6562. Lecture Notes in Artificial Intelligence, 183-191 (2011).
18
A non-iterative data-flow algorithm for computing liveness sets in strict SSA programs. (English)
Yang, Hongseok (ed.), Programming languages and systems. 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5‒7, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25317-1/pbk). Lecture Notes in Computer Science 7078, 137-154 (2011).
19
Bringing theory to practice: predictability and performance in embedded systems. Proceedings of the workshop, Grenoble, France, March 2011. (English)
OASIcs ‒ OpenAccess Series in Informatics 18. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-28-6). v, 68~p. (2011).
20
Result 1 to 20 of 1103 total
Start
Contact
Print
General Help
