Publications
Export 1734 results:
Author Title [ Type] Year Filters: First Letter Of Last Name is M [Clear All Filters]
2008. Deciding kCFA is Complete for EXPTIME. ICFP '08 Proceedings of the 13th ACM SIGPLAN International Conference on Functional Programming. :275-282.
2011. Declarative analysis of noisy information networks. 2011 IEEE 27th International Conference on Data Engineering Workshops (ICDEW). :106-111.
2010. Decoupling policy from configuration in campus and enterprise networks. Local and Metropolitan Area Networks (LANMAN), 2010 17th IEEE Workshop on. :1-6.
1995. Defining, Computing, and Visualizing Molecular Interfaces. Proceedings of the 6th conference on Visualization '95. :36–-36–.
1991. Demonstrational interfaces: Coming soon? Proceedings of the SIGCHI conference on Human factors in computing systems: Reaching through technology. :393-396.
1991. Demonstrational interfaces: Coming soon? Proceedings of the SIGCHI conference on Human factors in computing systems: Reaching through technology. :393-396.
2005. Design and implementation of a routing control platform. Proceedings of the 2nd conference on Symposium on Networked Systems Design & Implementation - Volume 2. :15-28.
1994. Design for manufacture in multi-enterprise partnerships: current status and future directions. :117-125.
1997. Designing interactive multimedia (panel). Proceedings of the fifth ACM international conference on Multimedia. :215-218.
1999. Designing PETS: a personal electronic teller of stories. Proceedings of the SIGCHI conference on Human factors in computing systems: the CHI is the limit. :326-329.
1999. Designing PETS: a personal electronic teller of stories. Proceedings of the SIGCHI conference on Human factors in computing systems: the CHI is the limit. :326-329.
2000. Designing StoryRooms: interactive storytelling spaces for children. Proceedings of the 3rd conference on Designing interactive systems: processes, practices, methods, and techniques. :95-104.
2009. Detecting network neutrality violations with causal inference. Proceedings of the 5th international conference on Emerging networking experiments and technologies. :289-300.
2007. Detecting stochastically scheduled activities in video. International Joint Conference on Artificial Intelligence. :1802-1807.
2004. Developing testing techniques for event-driven pervasive computing applications. Proceedings of The OOPSLA 2004 workshop on Building Software for Pervasive Computing (BSPC 2004).
1998. Digital dynamic telepathology–the Virtual Microscope.. Proceedings of the AMIA Symposium. :912-912.
2007. Direct-dependency-based software compatibility testing. Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering. :409-412.
1996. Disjunctive deductive databases: Semantics, updates and architecture. Proceedings of the 4th Bar-Ilan Symposium on Foundations of AI. :256-274.
2004. A distributed continuous quality assurance process to manage variability in performance-intensive software. 19th ACM OOPSLA Workshop on Component and Middleware Performance.
2009. Distributed Strategies for Channel Allocation and Scheduling in Software-Defined Radio Networks. IEEE INFOCOM 2009. :1521-1529.
2000. DNS of a Mach 4 boundary layer with chemical reactions. AIAA, Aerospace Sciences Meeting and Exhibit, 38 th, Reno, NV.