Sciweavers

338 search results - page 56 / 68
» On the complexity of privacy-preserving complex event proces...
Sort
View
80
Voted
ENTCS
2006
109views more  ENTCS 2006»
14 years 11 months ago
Incremental Verification for On-the-Fly Controller Synthesis
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers pr...
David J. Musliner, Michael J. S. Pelican, Robert P...
SP
2002
IEEE
129views Security Privacy» more  SP 2002»
14 years 11 months ago
The XCAT Science Portal
The design and prototype implementation of the XCAT Grid Science Portal is described in this paper. The portal lets grid application programmers easily script complex distributed ...
Sriram Krishnan, Randall Bramley, Dennis Gannon, R...
101
Voted
DMS
2010
184views Multimedia» more  DMS 2010»
14 years 10 months ago
Building Topic/Trend Detection System based on Slow Intelligence
—It becomes an interesting research topic to detect trend in the Internet era, where millions of data are posted online everyday. As social media, for example, blogs, forums, and...
Chia Chun Shih, Ting-Chun Peng
101
Voted
SSS
2010
Springer
125views Control Systems» more  SSS 2010»
14 years 9 months ago
Systematic Correct Construction of Self-stabilizing Systems: A Case Study
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Jo...
74
Voted
COGSR
2010
102views more  COGSR 2010»
14 years 6 months ago
Emergence of self-organized symbol-based communication in artificial creatures
In this paper, we describe a digital scenario where we simulated the emergence of self-organized symbol-based communication among artificial creatures inhabiting a virtual world of...
Angelo Loula, Ricardo R. Gudwin, Charbel Niñ...