Result 1 to 20 of 357 total
Secure programming via visibly pushdown safety games. (English)
Madhusudan, P. (ed.) et al., Computer aided verification. 24th international conference, CAV 2012, Berkeley, CA, USA, July 7‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31423-0/pbk). Lecture Notes in Computer Science 7358, 581-598 (2012).
1
Efficient runtime policy enforcement using counterexample-guided abstraction refinement. (English)
Madhusudan, P. (ed.) et al., Computer aided verification. 24th international conference, CAV 2012, Berkeley, CA, USA, July 7‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31423-0/pbk). Lecture Notes in Computer Science 7358, 548-563 (2012).
2
Towards secure bioinformatics services (short paper). (English)
Danezis, George (ed.), Financial cryptography and data security. 15th international conference, FC 2011, Gros Islet, St. Lucia, February 28‒March 4, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-27575-3/pbk). Lecture Notes in Computer Science 7035, 276-283 (2012).
3
Energy landscape analysis for regulatory RNA finding using scalable distributed cyberinfrastructure. (English)
Concurrency Comput. Pract. Exp. 23, No. 17, 2292-2304 (2011).
4
Dynamic behavior matching: a complexity analysis and new approximation algorithms. (English)
Bjørner, Nikolaj (ed.) et al., Automated deduction ‒ CADE-23. 23rd international conference on automated deduction, Wrocław, Poland, July 31 ‒ August 5, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22437-9/pbk). Lecture Notes in Computer Science 6803. Lecture Notes in Artificial Intelligence, 252-267 (2011).
5
Synthesizing switching logic to minimize long-run cost. (English)
Comput. Res. Repos. 2011, Article No. 1103.0800 (2011).
6
A pragmatic approach to area coverage in hybrid wireless sensor networks. (English)
Wireless Commun. Mob. Comput. 11, No. 1, 23-45 (2011).
7
Data mining for credit card fraud: a comparative study. (English)
Decis. Support Syst. 50, No. 3, 602-613 (2011).
8
Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement. (English)
Theor. Comput. Sci. 412, No. 21, 2162-2187 (2011).
9
Broadcast secrecy via key-chain-based encryption in single-hop wireless sensor networks. (English)
EURASIP J. Wirel. Commun. Netw. 2011, Article ID 695171, 12 p. (2011).
10
Characterization of asymmetry in low-power wireless links: An empirical study. (English)
Aguilera, Marcos K. (ed.) et al., Distributed computing and networking. 12th international conference, ICDCN 2011, Bangalore, India, January 2‒5, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-17678-4/pbk). Lecture Notes in Computer Science 6522, 340-351 (2011).
11
Design of OMC-MAC: an opportunistic multi-channel MAC with QoS provisioning for distributed cognitive radio networks (English)
IEEE Transactions on Wireless Communications 10, No. 10, 3414-3425 (2011).
12
Speculative parallel pattern matching (English)
IEEE Transactions on Information Forensics and Security 6, No. 2, 438-451 (2011).
13
Understanding application-level interoperability: scaling-out mapreduce over high-performance grids and clouds (English)
Future Generation Comp. Syst. 27, No. 5, 590-599 (2011).
14
A practical and comprehensive graduate course preparing students for research involving scientific computing (English)
Procedia CS 4, 1927-1936 (2011).
15
Secure multihop network programming with multiple one-way key chains (English)
IEEE Trans. Mob. Comput. 10, No. 1, 16-31 (2011).
16
Broadcast secrecy via key-chain-based encryption in single-hop wireless sensor networks (English)
EURASIP J. Wireless Comm. and Networking 2011 (2011).
17
Characterization of asymmetry in low-power wireless links: an empirical study (English)
ICDCN, 340-351 (2011).
18
Synthesis of loop-free programs (English)
PLDI, 62-73 (2011).
19
Synthesis of optimal switching logic for hybrid systems (English)
EMSOFT, 107-116 (2011).
20
Result 1 to 20 of 357 total
Start
Contact
Print
General Help
