Publications

Export 604 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Last Name is J  [Clear All Filters]
2002
Jim T, Morrisett G, Grossman D, Hicks MW, Cheney J, Wang Y.  2002.  Cyclone: A safe dialect of C. USENIX Annual Technical Conference. :275-288.
Shi Q, JaJa JF.  2002.  Efficient techniques for range search queries on earth science data. Scientific and Statistical Database Management, 2002. Proceedings. 14th International Conference on. :142-151.
Joshi K, Cukier M, Sanders W.  2002.  Experimental Evaluation of the Unavailability Induced by a Group Membership Protocol. Dependable Computing EDCC-4. 2485:644-648.
Carlton JM, Angiuoli SV, Suh BB, Kooij TW, Pertea M, Silva JC, Ermolaeva MD, Allen JE, Selengut JD, Koo HL et al..  2002.  Genome sequence and comparative analysis of the model rodent malaria parasite Plasmodium yoelii yoelii. Nature. 419(6906):512-519.
James F, Lai J, Suhm B, Balentine B, Makhoul J, Nass C, Shneiderman B.  2002.  Getting real about speech: overdue or overhyped? CHI '02 extended abstracts on Human factors in computing systems. :708-709.
Farber A, Druin A, Chipman G, Julian D, Somashekhar S.  2002.  How young can our design partners be. Proceedings of the Participatory Design Conference. :272-277.
Jallad K, Katz J, Schneier B.  2002.  Implementation of chosen-ciphertext attacks against PGP and GnuPG. Information Security. :90-101.
Halperin E, Srinivasan A.  2002.  Improved Approximation Algorithms for the Partial Vertex Cover Problem. Approximation Algorithms for Combinatorial OptimizationApproximation Algorithms for Combinatorial Optimization. 2462:161-174.
Scholtz J, Johnson J, Shneiderman B, Hope-Tindall P, Gosling M, Phillips J, Wexelblat A.  2002.  Interacting with identification technology: can it make us more secure? CHI '02 extended abstracts on Human factors in computing systems. :564-565.
Jiwnani K, Zelkowitz MV.  2002.  Maintaining software with a security perspective. Software Maintenance, 2002. Proceedings. International Conference on. :194-203.
Katz B, Felshin S, Yuret D, Ibrahim A, Jimmy Lin, Marton G, Jerome McFarland A, Temelkuran B.  2002.  Omnibase: Uniform access to heterogeneous data for question answering. Natural Language Processing and Information Systems. :230-234.
Myers KL, Tyson WM, Wolverton MJ, Jarvis PA, Lee TJ, desJardins M.  2002.  PASSAT: A user-centric planning framework. Proceedings of the 3rd International NASA Workshop on Planning and Scheduling for Space.
Zhou S, Chellappa R.  2002.  Probabilistic Human Recognition from Video. Computer Vision — ECCV 2002Computer Vision — ECCV 2002. 2352:173-183.
Grossman D, Morrisett G, Jim T, Hicks MW, Wang Y, Cheney J.  2002.  Region-based memory management in cyclone. SIGPLAN Not.. 37(5):282-293.
Jiwnani K, Zelkowitz MV.  2002.  Security Testing using a Susceptibility Matrix. International Symposioum on Software Reliability Engineering. 13
Anderson ML, Josyula DP, Okamoto YA, Perlis D.  2002.  Time-situated agency: Active logic and intention formation. in: Workshop on Cognitive Agents, 25th German Conference on Artificial Intelligence.
Anderson ML, Okamoto Y, Josyula D, Perlis D.  2002.  The use-mention distinction and its importance to HCI. Proceedings of the Sixth Workshop on the Semantics and Pragmatics of Dialog. :21-28.
2001
Grossman D, Morrisett G, Jim T, Hicks MW, Wang Y, Cheney J.  2001.  Cyclone User's Manual, Version 0.1. 3. Computer Science Technical Reports.
Tang L, Shneiderman B.  2001.  Dynamic Aggregation to Support Pattern Discovery: A Case Study with Web Logs. Discovery ScienceDiscovery Science. 2226:464-469.
M. Wu, Joyce RA, Wong H-S, Guan L, Kung S-Y.  2001.  Dynamic resource allocation via video content and short-term traffic statistics. Multimedia, IEEE Transactions on. 3(2):186-199.
Deshpande A, Garofalakis MN, Jordan MI.  2001.  Efficient stepwise selection in decomposable models. Proc. UAI. :128-135.
Jajodia S, Samarati P, Sapino M L, V.S. Subrahmanian.  2001.  Flexible support for multiple access control policies. ACM Trans. Database Syst.. 26(2):214-260.
Jacobs DW, Rokers B, Rudra A, Liu Z.  2001.  Fragment completion in humans and machines. NIPS. :27-34.
Bhatia M, Chi P, Chong W, Josyula DP, Okamoto Y, Perlis D, Purang K.  2001.  Handling uncertainty with active logic. In Proceedings, AAAI Fall Symposium on Uncertainty in Computation.
Rodriguez-Martinez M, Roussopoulos N, McGann JM, Kelley S, Mokwa J, White B, Jala J.  2001.  Integrating distributed scientific data sources with MOCHA and XRoaster. Thirteenth International Conference on Scientific and Statistical Database Management, 2001. SSDBM 2001. Proceedings. :263-266.

Pages