12774 search results - page 180 / 2555 » A Framework for Proof Systems |
157
Voted
DEBS
2008
ACM
15 years 6 months ago
2008
ACM
Several new Complex Event Processing (CEP) engines have been recently released, many of which are intended to be used in performance sensitive scenarios - like fraud detection, tr...
122
click to vote
DBPL
1989
Springer
15 years 8 months ago
1989
Springer
Several proposals have been published in recent years for database programming languages (DBPLs), many of which have been object-oriented. Our goal in this paper is not to argue f...
137
Voted
WOSS
2004
ACM
15 years 10 months ago
2004
ACM
This paper describes an online control framework to design self-managing distributed computing systems that continually optimize their performance in response to changing computin...
135
click to vote
JCP
2007
15 years 4 months ago
2007
Abstract— As the technologies of autonomic computing become more prevalent, it is essential to develop methodologies for testing their dynamic self-management operations. Self-ma...
148
click to vote
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
Reflection and automated introspection of a design in system level design frameworks are seen as necessities for the CAD tools to manipulate the designs within the tools. These f...