@article{Man_2010,
  added-at = {2010-04-22T11:44:21.000+0200},
  author = {Man, Th. Vallee K.L. and Leung, H.L.},
  biburl = {http://www.bibsonomy.org/bibtex/26d0895dfcfa2286b7497277b3ff8df4a/davef},
  interhash = {a895ba82ea5421c1d6218cb8f8841b8a},
  intrahash = {6d0895dfcfa2286b7497277b3ff8df4a},
  keydf = {VST4WSN9},
  keywords = {VST4WSN formal real_time reliability tinyOS wsn},
  priority = {4},
  timestamp = {2010-04-22T11:44:21.000+0200},
  title = {TEPAWSN: A Formal Analysis Tool for Wireless Sensor Networks},
  year = 2010
}

@article{journals/entcs/KimLSSS02,
  added-at = {2010-04-20T15:32:22.000+0200},
  author = {Kim, Moonjoo and Lee, Insup and Sammapun, Usa and Shin, Jangwoo and Sokolsky, Oleg},
  biburl = {http://www.bibsonomy.org/bibtex/21d3d24e1b14ceb11cb40678451d73a63/davef},
  date = {2004-07-28},
  description = {inklusive SteeringActionDefinitionLanguage},
  ee = {http://www.elsevier.com/gej-ng/31/29/23/125/49/show/Products/notes/index.htt#007},
  interhash = {b3216539d939126671436e1c7eda90bb},
  intrahash = {1d3d24e1b14ceb11cb40678451d73a63},
  journal = {Electr. Notes Theor. Comput. Sci.},
  keydf = {VST4WSN7},
  keywords = {VST4WSN formal model_checking real_time runtime_checking},
  number = 4,
  priority = {1},
  timestamp = {2010-04-20T15:32:22.000+0200},
  title = {Monitoring, Checking, and Steering of Real-Time Systems.},
  url = {http://dblp.uni-trier.de/db/journals/entcs/entcs70.html#KimLSSS02},
  volume = 70,
  year = 2002
}

@inproceedings{conf/rtcsa/SammapunLS05,
  added-at = {2010-04-20T15:30:38.000+0200},
  author = {Sammapun, Usa and Lee, Insup and Sokolsky, Oleg},
  biburl = {http://www.bibsonomy.org/bibtex/2b1c15cdfe6adb6324b527ab5a8eebae4/davef},
  booktitle = {RTCSA},
  crossref = {conf/rtcsa/2005},
  date = {2006-01-17},
  description = {dblp},
  ee = {http://doi.ieeecomputersociety.org/10.1109/RTCSA.2005.84},
  interhash = {bf530fbfc9b117ab8473bca5a6604e2f},
  intrahash = {b1c15cdfe6adb6324b527ab5a8eebae4},
  isbn = {0-7695-2346-3},
  keydf = {VST4WSN6},
  keywords = {VST4WSN model_checking probabilistic real_time runtime_checking},
  pages = {147-153},
  priority = {1},
  publisher = {IEEE Computer Society},
  timestamp = {2010-04-20T15:30:38.000+0200},
  title = {RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties.},
  url = {http://dblp.uni-trier.de/db/conf/rtcsa/rtcsa2005.html#SammapunLS05},
  year = 2005
}

@inproceedings{1357093,
  added-at = {2008-11-17T16:42:41.000+0100},
  address = {New York, NY, USA},
  author = {Hsieh, Gary and Lai, Jennifer and Hudson, Scott E. and Kraut, Robert},
  biburl = {http://www.bibsonomy.org/bibtex/26c91325eb773731822fbf105365d75e0/ewomant},
  booktitle = {CHI '08: Proceeding of the twenty-sixth annual SIGCHI conference on Human factors in computing systems},
  description = {CHI: CHI '08, Using tags to assist ...},
  doi = {http://doi.acm.org/10.1145/1357054.1357093},
  interhash = {cba7503d86beebee498687af8b81c39b},
  intrahash = {6c91325eb773731822fbf105365d75e0},
  isbn = {978-1-60558-011-1},
  keywords = {folksonomy hci imported real_time},
  location = {Florence, Italy},
  pages = {223--226},
  publisher = {ACM},
  timestamp = {2008-11-17T16:42:41.000+0100},
  title = {Using tags to assist near-synchronous communication},
  url = {http://portal.acm.org/citation.cfm?id=1357054.1357093&coll=portal&dl=ACM&type=series&idx=SERIES260&part=series&WantType=Proceedings&title=CHI&CFID=60015656&CFTOKEN=56411871},
  year = 2008
}

@article{axp06,
  abstract = {Many applications, such as telepresence, virtual reality, and interactive walkthroughs, require a three-dimensional (3D)model of real-world environments. Methods, such as lightfields, geometric reconstruction and computer vision use cameras to acquire visual samples of the environment and construct a model. Unfortunately, obtaining models of real-world locations is a challenging task. In particular, important environments are often actively in use, containing moving objects, such as people entering and leaving the scene. The methods previously listed have difficulty in capturing the color and structure of the environment while in the presence of moving and temporary occluders. We describe a class of cameras called lag cameras. The main concept is to generalize a camera to take samples over space and time. Such a camera, can easily and interactively detect moving objects while continuously moving through the environment. Moreover, since both the lag camera and occluder are moving, the scene behind the occluder is captured by the lag camera even from viewpoints where the occluder lies in between the lag camera and the hidden scene. We demonstrate an implementation of a lag camera, complete with analysis and captured environments.},
  added-at = {2007-10-23T11:17:39.000+0200},
  author = {Aliaga, Daniel G. and Xu, Yi and Popescu, Voicu},
  biburl = {http://www.bibsonomy.org/bibtex/2017c257edb6db85edb940b1ac3bddd99/stefano},
  editor = {Herder, Jens},
  interhash = {f851ba11ac5746b8afb7705dc5ca7e09},
  intrahash = {017c257edb6db85edb940b1ac3bddd99},
  journal = {Journal of Virtual Reality and Broadcasting},
  keywords = {3D analysis real_time video videoconference},
  month = dec,
  note = {ISSN 1860-2037},
  number = 10,
  timestamp = {2007-10-23T11:17:39.000+0200},
  title = {Lag Camera: A Moving Multi-Camera Array for Scene-Acquisition},
  url = {urn:nbn:de:0009-6-8204},
  volume = 3,
  year = 2006
}