Publications

Export 3364 results:
Author [ Title(Asc)] Type Year
Filters: First Letter Of Last Name is S  [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 
P
Kumar VSA, Marathe MV, Parthasarathy S, Srinivasan A.  2007.  Provable algorithms for joint optimization of transport, routing and MAC layers in wireless ad hoc networks. Proc. DialM-POMC Workshop on Foundations of Mobile Computing.
Sane N, Ford J, Harris AI, Bhattacharyya SS.  2012.  Prototyping scalable digital signal processing systems for radio astronomy using dataflow models. Radio Science. 47(3):n/a-n/a.
Mendonça Neto MG, Seaman C, Basili VR, Kim YM.  2001.  A prototype experience management system for a software consulting organization. Thirteenth International Conference on Software Engineering and Knowledge Engineering. :29-36.
Basili VR, Zelkowitz MV, Sjøberg DIK, Johnson P, Cowling AJ.  2007.  Protocols in the use of empirical software engineering artifacts. Empirical Software EngineeringEmpirical Software Engineering. 12:107-119.
Spring N, Wetherall D.  2000.  A protocol-independent technique for eliminating redundant network traffic. ACM SIGCOMM Computer Communication Review. 30(4):87-95.
Sabnis C, Cukier M, Ren J, Rubel P, Sanders WH, Bakken DE, Karr D.  1999.  Proteus: a flexible infrastructure to implement adaptive fault tolerance in AQuA. :149-168.
Sabnis C, Cukier M, Ren J, Rubel P, Sanders WH, Bakken DE, Karr D.  1999.  Proteus: a flexible infrastructure to implement adaptive fault tolerance in AQuA. :149-168.
Khan Z, Bloom JS, Garcia BA, Singh M, Kruglyak L.  2009.  Protein quantification across hundreds of experimental conditions. Proceedings of the National Academy of Sciences. 106(37):15544-15548.
Shneiderman B.  1993.  Protecting rights in user interface designs. Sparks of innovation in human-computer interaction. :351-351.
Basu MK, Selengut JD, Haft DH.  2011.  ProPhylo: partial phylogenetic profiling to guide protein family construction and assignment of biological process.. BMC Bioinformatics. 12:434.
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.
Shneiderman B.  2005.  Promoting Universal Usability with Multi-Layer Interface Design (2003). Institute for Systems Research Technical Reports.
Shneiderman B.  2002.  Promoting universal usability with multi-layer interface design. ACM SIGCAPH Computers and the Physically Handicapped. (73-74):1-8.
Shneiderman B, Churchill E, Fischer G, Goldberg K.  2009.  Promoting social creativity: a component of a national initiative for social participation. Proceedings of the seventh ACM conference on Creativity and cognition. :7-8.
Ouhammouch M, Langham GE, Hausner W, Simpson AJ, El-Sayed NM, Geiduschek PE.  2005.  Promoter architecture and response to a positive regulator of archaeal transcription. Molecular Microbiology. 56(3):625-637.
Marchionini G, Haas S, Shneiderman B, Plaisant C, Hert CA.  2004.  Project highlight: toward the statistical knowledge network. Proceedings of the 2004 annual national conference on Digital government research. :125:1–125:2-125:1–125:2.
Miara RJ, Musselman JA, Navarro JA, Shneiderman B.  1983.  Program indentation and comprehensibility. Communications of the ACM. 26(11):861-867.
Beynon M, Chang C, Catalyurek U, Kurc T, Sussman A, Andrade H, Ferreira R, Saltz J.  2002.  Processing large-scale multi-dimensional data in parallel and distributed environments. Parallel Computing. 28(5):827-859.
Beynon M, Chang C, Catalyurek U, Kurc T, Sussman A, Andrade H, Ferreira R, Saltz J.  2002.  Processing large-scale multi-dimensional data in parallel and distributed environments. Parallel Computing. 28(5):827-859.
Stark EW, Cleaveland R, Smolka SA.  2003.  A process-algebraic language for probabilistic I/O automata. CONCUR 2003-Concurrency Theory. :193-207.
Stark EW, Cleaveland R, Smolka SA.  2003.  A process-algebraic language for probabilistic I/O automata. CONCUR 2003-Concurrency Theory. :193-207.
Kraus S, V.S. Subrahmanian, Tas NC.  2003.  Probabilistically survivable mass. INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE. 18:789-795.
Duggal HS, Cukier M, Sanders WH.  1997.  Probabilistic verification of a synchronous round-based consensus protocol. :165-174.
Sanders WH, Cukier M, Webber F, Pal P, Watro R.  2002.  Probabilistic validation of intrusion tolerance. :78-79.
Dekhtyar A, Ozcan F, Ross R, V.S. Subrahmanian.  2001.  Probabilistic Temporal Databases, II: Calculus and Query Processing. Technical Reports from UMIACS, UMIACS-TR-2001-79.

Pages