Publications

Search
Export 383 results:
[ Author(Desc)] Title Type Year
Filters: First Letter Of Last Name is H  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
H
Hicks B, King D, McDaniel P, Hicks MW.  2006.  Trusted declassification:: high-level policy for a security-typed language. Proceedings of the 2006 workshop on Programming languages and analysis for security. :65-74.
Hicks MW, Nettles S.  2005.  Dynamic software updating. ACM Trans. Program. Lang. Syst.. 27(6):1049-1096.
Hicks MW.  1998.  PLAN Security System. Technical Reports (CIS).
Hicks MW, Nettles S.  2000.  Active Networking Means Evolution (or Enhanced Extensibility Required). Active NetworksActive Networks. 1942:16-32.
Hicks MW, Nettles S, Seong-Kyu S, Shannon S.  2011.  Evolution in Action: Using Active Networking to Evolve Network Support for Mobility. IFIP Lecture Notes in Computer Science (LNCS). 2546(2546):146-161.
Hicks MW, Kakkar P, Moore JT, Gunter CA, Nettles S.  1999.  PLAN: A programming language for active networks. ACM SIGPLAN NOTICES. 34:86-93.
Hicks MW, Weirich S.  2001.  A Calculus for Dynamic Loading. Technical Reports (CIS).
Hicks MW, Jagannathan S, Kelsey R, Moore JT, Ungureanu C.  1999.  Transparent communication for distributed objects in Java. Proceedings of the ACM 1999 conference on Java Grande. :160-170.
Hicks MW, Moore JT, Nettles S.  2001.  Dynamic software updating. Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation. :13-23.
Hicks MW, Kakkar P, Moore J, Gunter C, Nettles S.  1999.  Network Programming Using PLAN. Internet Programming LanguagesInternet Programming Languages. 1686:127-143.
Hicks MW, Foster JS.  2010.  SCORE: agile research group management. Commun. ACM. 53(10):30-31.
Hicks MW, Foster JS.  2010.  Viewpoint Adapting agile software development methodology toward more efficient management of academic research groups.. Communications of the ACM. 53(10):30-30.
Hicks MW, Kakkar P, Moore JT, Gunter CA, Nettles S.  1998.  PLAN: a packet language for active networks. SIGPLAN Not.. 34(1):86-93.
Hicks MW, Swamy N, Tsang S.  2007.  Toward Specifying and Validating Cross-Domain Policies. Technical Reports from UMIACS.
Hicks MW, Moore J, Nettles S.  2001.  Compiling PLAN to SNAP. Active NetworksActive Networks. 2207:134-151.
Hicks MW, Foster JS, Pratikakis P.  2006.  Lock inference for atomic sections. Proceedings of the First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing.
Hicks MW, Morrisett G, Grossman D, Jim T.  2003.  Safe and flexible memory management in Cyclone. Technical Reports from UMIACS.
Hierons RM, Krause P, Lüttgen G, Simons AJH, Vilkomir S, Woodward MR, Zedan H, Bogdanov K, Bowen JP, Cleaveland R et al..  2009.  Using formal specifications to support testing. ACM Computing Surveys. 41:1-76.
Higham NJ, Stewart G.W.  1997.  Accuracy and Stability of Numerical Algorithms. SIAM Review. 39(1):164-165.
Hilke J, Lohn J, Reggia JA, Navarro R.  1994.  A modified cellular automata model of nucleotide interactions and DNA replication.
Hilke J, Reggia JA, Navarro-Gonzalez R, Lohn J.  1995.  A modified cellular automata model of nucleotide interactions and non-enzymatic transcription of DNA. inbs. :136-136.
Hill JH, Schmidt DC, Porter A, Slaby JM.  2008.  CiCUTS: Combining System Execution Modeling Tools with Continuous Integration Environments. Engineering of Computer-Based Systems, IEEE International Conference on the. :66-75.
Hill VR, Humphrys MS, Kahler AM, Boncy J, Tarr CL, Huq A, Chen A, Katz LS, Mull BJ, Derado G et al..  2015.  Environmental Surveillance for Toxigenic Vibrio cholerae in Surface Waters of Haiti. The American Journal of Tropical Medicine and Hygiene. 92(1):118-125.
Hinsch H, Hannenhalli S.  2006.  Recurring genomic breaks in independent lineages support genomic fragility. BMC Evolutionary Biology. 6(1):90-90.
Hjaltason GR, Samet H.  2003.  Properties of embedding methods for similarity searching in metric spaces. Pattern Analysis and Machine Intelligence, IEEE Transactions on. 25(5):530-549.

Pages