BibSonomy publications for /tag/real_timeBibSonomypublrss/tag/real_timeBibSonomy RSS feed for /tag/real_time2012-02-15T19:27:24+01:00- TEPAWSN: A Formal Analysis Tool for Wireless Sensor Networkshttp://www.bibsonomy.org/bibtex/26d0895dfcfa2286b7497277b3ff8df4a/davefdavef2010-04-22T11:44:21+02:00VST4WSN formal real_time reliability tinyOS wsn <span class="authorEditorList"><a href="/author/Man">Th. Vallee K.L. Man</a>, and <a href="/author/Leung">H.L. Leung</a> </span> (<em>2010</em>)
- Monitoring, Checking, and Steering of Real-Time Systems.http://www.bibsonomy.org/bibtex/21d3d24e1b14ceb11cb40678451d73a63/davefdavef2010-04-20T15:32:22+02:00VST4WSN formal model_checking real_time runtime_checking <span class="authorEditorList"><a href="/author/Kim">Moonjoo Kim</a>, <a href="/author/Lee">Insup Lee</a>, <a href="/author/Sammapun">Usa Sammapun</a>, <a href="/author/Shin">Jangwoo Shin</a>, and <a href="/author/Sokolsky">Oleg Sokolsky</a> </span><em>Electr. Notes Theor. Comput. Sci.</em> (<em>2002</em>)inklusive SteeringActionDefinitionLanguage
- RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties.http://www.bibsonomy.org/bibtex/2b1c15cdfe6adb6324b527ab5a8eebae4/davefdavef2010-04-20T15:30:38+02:00VST4WSN model_checking probabilistic real_time runtime_checking <span class="authorEditorList"><a href="/author/Sammapun">Usa Sammapun</a>, <a href="/author/Lee">Insup Lee</a>, and <a href="/author/Sokolsky">Oleg Sokolsky</a> </span><em>RTCSA, </em><em>page 147-153. </em><em>IEEE Computer Society, </em>(<em>2005</em>)dblp
- Using tags to assist near-synchronous communicationhttp://www.bibsonomy.org/bibtex/26c91325eb773731822fbf105365d75e0/ewomantewomant2008-11-17T16:42:41+01:00folksonomy hci imported real_time <span class="authorEditorList"><a href="/author/Hsieh">Gary Hsieh</a>, <a href="/author/Lai">Jennifer Lai</a>, <a href="/author/Hudson">Scott E. Hudson</a>, and <a href="/author/Kraut">Robert Kraut</a> </span><em>CHI '08: Proceeding of the twenty-sixth annual SIGCHI conference on Human factors in computing systems, </em><em>page 223--226. </em><em>New York, NY, USA, </em><em>ACM, </em>(<em>2008</em>)CHI: CHI '08, Using tags to assist ...
- Lag Camera: A Moving Multi-Camera Array for Scene-Acquisitionhttp://www.bibsonomy.org/bibtex/2017c257edb6db85edb940b1ac3bddd99/stefanostefano2007-10-23T11:17:39+02:003D analysis real_time video videoconference <span class="authorEditorList"><a href="/author/Aliaga">Daniel G. Aliaga</a>, <a href="/author/Xu">Yi Xu</a>, and <a href="/author/Popescu">Voicu Popescu</a> </span><em>Journal of Virtual Reality and Broadcasting</em> (<em>December 2006</em>)<em>ISSN 1860-2037
.
</em>