Bibsonomy :: author  ::

bookmarks

publications

(709)

• Retrofitting Legacy Code for Authorization Policy Enforcement.
  Vinod Ganapathy and Trent Jaeger and Somesh Jha IEEE Symposium on Security and Privacy 214-229 (2006)
  to dblp by dblp on 2008-06-25 00:00:00
  | URL | BibTeX  
• Towards Automatic Generation of Vulnerability-Based Signatures.
  David Brumley and James Newsome and Dawn Xiaodong Song and Hao Wang and Somesh Jha IEEE Symposium on Security and Privacy 2-16 (2006)
  to dblp by dblp and 1 other person on 2008-06-25 00:00:00
  | URL | BibTeX  
• Model checking algorithms for the µ-calculus.
  Sergey Berezin and Edmund M. Clarke and Somesh Jha and Will Marrero Proof, Language, and Interaction 309-338 (2000)
  to dblp by dblp on 2008-06-23 00:00:00
  | URL | BibTeX  
• Multi-user data sharing in radar sensor networks.
  Ming Li and Tingxin Yan and Deepak Ganesan and Eric Lyons and Prashant J. Shenoy and Arun Venkataramani and Michael Zink SenSys 377-378 (2007)
  to dblp by dblp on 2008-06-16 00:00:00
  | URL | BibTeX  
• Adaptive sampling in the COlumbia RIvEr observation network.
  Xuan Thanh Dang and Nirupama Bulusu and Wu chi Feng and Sergey Frolov and António M. Baptista SenSys 429-430 (2007)
  to dblp by dblp on 2008-06-11 00:00:00
  | URL | BibTeX  
• Query evaluation with soft-key constraints.
  Abhay Jha and Vibhor Rastogi and Dan Suciu PODS 119-128 (2008)
  to dblp by dblp on 2008-06-10 00:00:00
  | URL | BibTeX  
• Toward Ideal On-Chip Communication Using Express Virtual Channels.
  Amit Kumar and Li-Shiuan Peh and Partha Kundu and Niraj K. Jha IEEE Micro 28 80-90 (2008)
  to dblp by dblp on 2008-06-05 00:00:00
  | URL | BibTeX  
• The BikeNet mobile sensing system for cyclist experience mapping.
  Shane B. Eisenman and Emiliano Miluzzo and Nicholas D. Lane and Ronald A. Peterson and Gahng-Seop Ahn and Aandre T. Campbell SenSys 87-101 (2007)
  to dblp by dblp on 2008-06-04 00:00:00
  | URL | BibTeX  
• An effective method for state-of-charge estimation in wireless sensor networks.
  Christian Behrens and Ole Bischoff and Steffen Paul and Rainer Laur SenSys 427-428 (2007)
  to dblp by dblp on 2008-06-04 00:00:00
  | URL | BibTeX  
• The design and implementation of a declarative sensor network system.
  David Chu and Lucian Popa and Arsalan Tavakoli and Joseph M. Hellerstein and Philip Levis and Scott Shenker and Ion Stoica SenSys 175-188 (2007)
  to dblp by dblp on 2008-06-04 00:00:00
  | URL | BibTeX