BibSonomy publications for /author/Mani+Chandy http://www.bibsonomy.org/author/Mani+Chandy BibSonomy RSS Feed for /author/Mani+Chandy A Formalized Theory for Verifying Stability and Convergence of Automata in PVS. dblp http://www.bibsonomy.org/bibtex/28d28df4fe27b8eca35bd46ae95fc1052/dblp dblp 2008-10-20T00:00:00+02:00 dblp
A Formalized Theory for Verifying Stability and Convergence of Automata in PVS.
Sayan Mitra and K. Mani Chandy TPHOLs 230-245 (2008)
to dblp by dblp on 2008-10-20 00:00:00
]]> Convergence Verification: From Shared Memory to Partially Synchronous Systems. dblp http://www.bibsonomy.org/bibtex/228a921d73038eb887f153b67f2f96609/dblp dblp 2008-09-05T00:00:00+02:00 dblp
Convergence Verification: From Shared Memory to Partially Synchronous Systems.
K. Mani Chandy and Sayan Mitra and Concetta Pilotto FORMATS 218-232 (2008)
to dblp by dblp on 2008-09-05 00:00:00
]]> Sensor Event Processing on Grid. dblp http://www.bibsonomy.org/bibtex/230a708cf7b6975371f956bed618e143d/dblp dblp 2008-06-15T00:00:00+02:00 dblp
Sensor Event Processing on Grid.
Eui nam Huh Event Processing (2007)
to dblp by dblp on 2008-06-15 00:00:00
]]> Twelve Theses on Reactive Rules for the Web. dblp http://www.bibsonomy.org/bibtex/2882f3ed9075d51d5a84d1543d56ea9a7/dblp dblp 2008-05-14T00:00:00+02:00 dblp
Twelve Theses on Reactive Rules for the Web.
François Bry and Michael Eckert Event Processing (2007)
to dblp by dblp on 2008-05-14 00:00:00
]]> BiCEP - Benchmarking Complex Event Processing Systems. dblp http://www.bibsonomy.org/bibtex/28e038793ddfb889ba9afd28ed3f37d1a/dblp dblp 2008-05-14T00:00:00+02:00 dblp
BiCEP - Benchmarking Complex Event Processing Systems.
Pedro Bizarro Event Processing (2007)
to dblp by dblp on 2008-05-14 00:00:00
]]> Ubiquitous Nature of Event-Driven Approaches: A Retrospective View. dblp http://www.bibsonomy.org/bibtex/245469722c34ca73c664bf67faf38dc3a/dblp dblp 2008-05-14T00:00:00+02:00 dblp
Ubiquitous Nature of Event-Driven Approaches: A Retrospective View.
Sharma Chakravarthy and Raman Adaikkalavan Event Processing (2007)
to dblp by dblp on 2008-05-14 00:00:00
]]> 07191 Abstracts Collection -- Event Processing. dblp http://www.bibsonomy.org/bibtex/28c4ee4e82e8bc090d273b2fad65b2764/dblp dblp 2008-05-14T00:00:00+02:00 dblp
07191 Abstracts Collection -- Event Processing.
Opher Etzion and K. Mani Chandy and Rainer von Ammon Event Processing (2007)
to dblp by dblp on 2008-05-14 00:00:00
]]> An XML Framework for Integrating Continuous Queries, Composite Event Detection, and Database Condition Monitoring for Multiple Data Streams. dblp http://www.bibsonomy.org/bibtex/2f0a0147df0e91f37e07d24e185005901/dblp dblp 2008-05-14T00:00:00+02:00 dblp
An XML Framework for Integrating Continuous Queries, Composite Event Detection, and Database Condition Monitoring for Multiple Data Streams.
Susan Darling Urban and Suzanne W. Dietrich and Yi Chen Event Processing (2007)
to dblp by dblp on 2008-05-14 00:00:00
]]> Infrastructure for Smart Cities: The Killer Application for Event-Based Computing. dblp http://www.bibsonomy.org/bibtex/25c68119ca9bd67309ac6014f1667a4eb/dblp dblp 2008-05-14T00:00:00+02:00 dblp
Infrastructure for Smart Cities: The Killer Application for Event-Based Computing.
Alejandro P. Buchmann Event Processing (2007)
to dblp by dblp on 2008-05-14 00:00:00
]]> Denial of Information Attacks in Event Processing. dblp http://www.bibsonomy.org/bibtex/271c78dde5dd7e6e632bdc2ce7b3b6bfb/dblp dblp 2008-05-14T00:00:00+02:00 dblp
Denial of Information Attacks in Event Processing.
Calton Pu Event Processing (2007)
to dblp by dblp on 2008-05-14 00:00:00
]]>