Sciweavers

1347 search results - page 155 / 270
» Towards a Secure Data Stream Management System
Sort
View
DSVIS
2005
Springer
15 years 10 months ago
Towards Model Checking Stochastic Aspects of the thinkteam User Interface
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
Maurice H. ter Beek, Mieke Massink, Diego Latella
149
Voted
ISSA
2004
15 years 6 months ago
Towards Hippocratic Log Files
The World Wide Web (WWW) is fast becoming the central location for goods, services and information. The very factors that make the Internet such a powerful medium combine to make ...
Andrew Rutherford
SIGMOD
2007
ACM
160views Database» more  SIGMOD 2007»
16 years 5 months ago
Cayuga: a high-performance event processing engine
We propose a demonstration of Cayuga, a complex event monitoring system for high speed data streams. Our demonstration will show Cayuga applied to monitoring Web feeds; the demo w...
Lars Brenna, Alan J. Demers, Johannes Gehrke, Ming...
SEMCO
2008
IEEE
15 years 11 months ago
Towards LarKC: A Platform for Web-Scale Reasoning
Current Semantic Web reasoning systems do not scale to the requirements of their hottest applications, such as analyzing data from millions of mobile devices, dealing with terabyt...
Dieter Fensel, Frank van Harmelen, Bo Andersson, P...
BNCOD
2009
125views Database» more  BNCOD 2009»
15 years 2 months ago
The Adaptation Model of a Runtime Adaptable DBMS
Nowadays maintenance of database management systems (DBMSs) often requires offline operations for enhancement of functionality or security updates. This hampers the availability of...
Florian Irmert, Thomas Fischer, Frank Lauterwald, ...