Result 1 to 20 of 796 total
A note on spectrum analysis of augmentation block preconditioned generalized saddle point matrices. (English)
J. Comput. Appl. Math. 238, 109-115 (2013).
1
Anonymous identity-based hash proof system and its applications. (English)
Takagi, Tsuyoshi (ed.) et al., Provable security. 6th international conference, ProvSec 2012, Chengdu, China, September 26‒28, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33271-5/pbk). Lecture Notes in Computer Science 7496, 143-160 (2012).
2
Multi-use unidirectional identity-based proxy re-encryption from hierarchical identity-based encryption. (English)
Inf. Sci. 206, 83-95 (2012).
3
Identity-based extractable hash proofs and their applications. (English)
Bao, Feng (ed.) et al., Applied cryptography and network security. 10th international conference, ACNS 2012, Singapore, June 26‒29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31283-0/pbk). Lecture Notes in Computer Science 7341, 153-170 (2012).
4
More on bisimulations for higher order $π$-calculus. (English)
Theor. Comput. Sci. 446, 1-19 (2012).
5
Concurrent non-malleable statistically hiding commitment. (English)
Inf. Process. Lett. 112, No. 11, 443-448 (2012).
6
Extending interface automata with Z notation. (English)
Arbab, Farhad (ed.) et al., Fundamentals of software engineering. 4th IPM international conference, FSEN 2011, Tehran, Iran, April 20‒22, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-29319-1/pbk). Lecture Notes in Computer Science 7141, 359-367 (2012).
7
A note on spectrum analysis of augmentation block Schur complement preconditioners. (English)
Numer. Algorithms 59, No. 4, 561-569 (2012).
8
New directions of modern cryptography. (English)
Boca Raton, FL: CRC Press (ISBN 978-1-4665-0138-6/hbk). 260~p. \sterling~63.99/hbk (2012).
9
SPIRE: efficient data inference and compression over RFID streams (English)
IEEE Trans. Knowl. Data Eng. 24, No. 1, 141-155 (2012).
10
A scheme for quantum dense coding in cavity QED. (English)
Int. J. Mod. Phys. B 25, No. 32, 4679-4685 (2011).
11
On the operational semantics of a higher order safe ambients calculus. (English)
Zhou, Qihai (ed.), Theoretical and mathematical foundations of computer science. Second international conference, ICTMF 2011, Singapore, May 5‒6, 2011. Selected papers. Berlin: Springer (ISBN 978-3-642-24998-3/pbk; 978-3-642-24999-0/ebook). Communications in Computer and Information Science 164, 305-312 (2011).
12
Compiler backend generation for application specific instruction set processors. (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, 121-136 (2011).
13
A new robust training algorithm for a class of single-hidden layer feedforward neural networks. (English)
Neurocomputing 74, No. 16, 2491-2501 (2011).
14
Semantic operations of multiple soft sets under conflict. (English)
Comput. Math. Appl. 62, No. 4, 1923-1939 (2011).
15
Selfish bin covering. (English)
Theor. Comput. Sci. 412, No. 50, 7049-7058 (2011).
16
Fully secure multi-authority ciphertext-policy attribute-based encryption without random oracles. (English)
Atluri, Vijay (ed.) et al., Computer security ‒ ESORICS 2011. 16th European symposium on research in computer security, Leuven, Belgium, September 12‒14,2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23821-5/pbk). Lecture Notes in Computer Science 6879, 278-297 (2011).
17
Extension of Barreto-Voloch root extraction method. (English)
Qing, Sihan (ed.) et al., Information and communications security. 13th international conference, ICICS 2011, Beijing, China, November 23‒26, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25242-6/pbk). Lecture Notes in Computer Science 7043, 184-189 (2011).
18
MobiID: A user-centric and social-aware reputation based incentive scheme for delay/disruption tolerant networks. (English)
Frey, Hannes (ed.) et al., Ad-hoc, mobile, and wireless networks. 10th international conference, ADHOC-NOW 2011, Paderborn, Germany, July 18‒20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22449-2/pbk). Lecture Notes in Computer Science 6811, 177-190 (2011).
19
Modeling and simulation for the spread of H1N1 influenza in school using artificial societies. (English)
Chau, Michael (ed.) et al., Intelligence and security informatics. Pacific Asia workshop, PAISI 2011, Beijing, China, July 9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22038-8/pbk). Lecture Notes in Computer Science 6749, 121-129 (2011).
20
Result 1 to 20 of 796 total