1162 search results - page 115 / 233 » Monotonic Semantic Interpretation |
87
Voted
ENTCS
2007
14 years 11 months ago
2007
Strategies are a powerful mechanism to control rule application in rule-based systems. For instance, different transition relations can be defined and then combined by means of ...
102
Voted
LOGCOM
2010
14 years 6 months ago
2010
When monitoring a system wrt. a property defined in a temporal logic such as LTL, a major concern is to settle with an adequate interpretation of observable system events; that is,...
TLCA
2005
Springer
15 years 4 months ago
2005
Springer
We explore foundational typing support for strong updates — updating a memory cell to hold values of unrelated types at different points in time. We present a simple, but expres...
114
click to vote
ECOOP
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. The application field of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads...
171
click to vote
VLDB
2006
ACM
15 years 11 months ago
2006
ACM
CQL, a Continuous Query Language, is supported by the STREAM prototype Data Stream Management System at Stanford. CQL is an expressive SQL-based declarative language for registeri...