@Article{journals/tissec/GaneriwalPCS08, author = {Saurabh Ganeriwal and Christina Pöpper and Srdjan Capkun and Mani B. Srivastava}, title = {Secure Time Synchronization in Sensor Networks.}, journal = {ACM Trans. Inf. Syst. Secur.}, year = {2008}, number = {4}, url = {http://dblp.uni-trier.de/db/journals/tissec/tissec11.html#GaneriwalPCS08}, const = {\ text} } @Inproceedings{conf/er/LiMR08, author = {Ming Li and Murali Mani and Elke A. Rundensteiner}, title = {Constraint-Aware XSLT Evaluation.}, year = {2008}, number = {}, url = {http://dblp.uni-trier.de/db/conf/er/er2008.html#LiMR08}, const = {\ text} } @Inproceedings{conf/ideas/LiMR08, author = {Ming Li and Murali Mani and Elke A. Rundensteiner}, title = {Efficiently loading and processing XML streams.}, year = {2008}, number = {}, url = {http://dblp.uni-trier.de/db/conf/ideas/ideas2008.html#LiMR08}, const = {\ text} } @Inproceedings{conf/semco/LiMR08, author = {Ming Li and Murali Mani and Elke A. Rundensteiner}, title = {ELF: A Constraint-Aware XQuery Engine for Processing XML Streams with Minimized Memory Footprint.}, year = {2008}, number = {}, url = {http://dblp.uni-trier.de/db/conf/semco/icsc2008.html#LiMR08}, const = {\ text} } @Book{Man01, author = {I. Mani}, title = {Automatic summarization}, year = {2001}, number = {}, url = {}, const = {\ text} } @Inproceedings{conf/tphol/MitraC08, author = {Sayan Mitra and K. Mani Chandy}, title = {A Formalized Theory for Verifying Stability and Convergence of Automata in PVS.}, year = {2008}, number = {}, url = {http://dblp.uni-trier.de/db/conf/tphol/tphol2008.html#MitraC08}, const = {\ text} } @Inproceedings{conf/mswim/ParkSS00, author = {Sung Park and Andreas Savvides and Mani B. Srivastava}, title = {SensorSim: a simulation framework for sensor networks.}, year = {2000}, number = {}, url = {http://dblp.uni-trier.de/db/conf/mswim/mswim2000.html#ParkSS00}, const = {\ text} } @Inproceedings{conf/mobicom/SchmidDS06, author = {Thomas Schmid and Tad Dreier and Mani B. Srivastava}, title = {Software radio implementation of short-range wireless standards for sensor networking.}, year = {2006}, number = {}, url = {http://dblp.uni-trier.de/db/conf/mobicom/wintech2006.html#SchmidDS06}, const = {\ text} } @Inproceedings{conf/ifipTCS/SwaminathanFK08, author = {Mani Swaminathan and Martin Fränzle and Joost-Pieter Katoen}, title = {The Surprising Robustness of (Closed) Timed Automata against Clock-Drift.}, year = {2008}, number = {}, url = {http://dblp.uni-trier.de/db/conf/ifipTCS/ifipTCS2008.html#SwaminathanFK08}, const = {\ text} } @Inproceedings{conf/ispass/WangGKK06, author = {Huaping Wang and Yao Guo and Israel Koren and C. Mani Krishna}, title = {Compiler-based adaptive fetch throttling for energy-efficiency.}, year = {2006}, number = {}, url = {http://dblp.uni-trier.de/db/conf/ispass/ispass2006.html#WangGKK06}, const = {\ text} }