Result 1 to 19 from 19 total
One technique is not enough: A comparison of vulnerability discovery techniques (English)
ESEM, 97-106 (2011).
1
Idea: Using system level testing for revealing SQL injection-related error message information leaks. (English)
Massacci, Fabio (ed.) et al., Engineering secure software and systems. Second international symposium, ESSoS 2010, Pisa, Italy, February 3‒4, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11746-6/pbk). Lecture Notes in Computer Science 5965, 192-200 (2010).
2
Characterization of movie genre based on music score (English)
ICASSP, 421-424 (2010).
3
An online learning approach to in-vivo tracking using synergistic features (English)
IROS, 3441-3446 (2010).
4
Idea: using system level testing for revealing SQL injection-related error message information leaks (English)
ESSoS, 192-200 (2010).
5
Information systems at a liberal arts college: an interdisciplinary minor (English)
CPR, 77-84 (2009).
6
A frame-based representation for a bedside ventilator weaning protocol (English)
Journal of Biomedical Informatics 41, No. 3, 461-468 (2008).
7
The route to the sea for user value (English)
CHI Extended Abstracts, 53-56 (2006).
8
Demonstrating wireless IPv6 access to a federated health record server. (English)
Bubak, Marian (ed.) et al., Computational science ‒ ICCS 2004. 4th international conference, Kraków, Poland, June 6‒9, 2004. Proceedings, Part IV. Berlin: Springer (ISBN 3-540-22129-8/pbk). Lecture Notes in Computer Science 3039, 1165-1171 (2004).
9
Demonstrating wireless IPv6 access to a federated health record server (English)
International Conference on Computational Science, 1165-1171 (2004).
10
A system for ensuring data integrity in grid environments (English)
ITCC (1), 435-439 (2004).
11
Mode reconstruction for source coding and multi-modal control. (English)
Maler, Oded (ed.) et al., Hybrid systems: Computation and control. 6th international workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2623, 36-49 (2003).
12
Mode reconstruction for source coding and multi-modal control (English)
HSCC, 36-49 (2003).
13
Automatic axis generation for virtual bronchoscopic assessment of major airway obstructions. (English)
Comput. Med. Imaging Graph. 26, No. 2, 103-118 (2002).
14
Adding Temporal Reasoning to Expert-System-Building Environments. (English)
IEEE Expert: Intelligent Systems and Their Applications 05, No.01, 23-30 (1990).
15
Adding temporal reasoning to expert-system-building environments (English)
IEEE Expert 5, No. 1, 23-30 (1990).
16
An elementary approach to NP-completeness. (English)
Am. Math. Mon. 90, 398-399 (1983).
17
A note on decision procedures for identities. (English)
Algebra Univers. 9, 146-151 (1979).
18
A calculus for know/don’t know problems. (English)
Math. Mag. 49, 12-14 (1976).
19
Result 1 to 19 from 19 total
Start
Contact
Print
General Help
