2253 search results - page 212 / 451 » An Approach to Specifying Software Frameworks |
179
Voted
ENTCS
2006
15 years 4 months ago
2006
We present a runtime verification framework for Java programs. Properties can be specified in Linear-time Temporal Logic (LTL) over AspectJ pointcuts. These properties are checked...
142
click to vote
JLP
2000
15 years 4 months ago
2000
The independent choice logic (ICL) is part of a project to combine logic and decision/game theory into a coherent framework. The ICL has a simple possible-worlds semantics charact...
113
click to vote
SIGMOD
2002
ACM
16 years 4 months ago
2002
ACM
Relational query optimizers have traditionally relied upon table cardinalities when estimating the cost of the query plans they consider. While this approach has been and continue...
100
click to vote
AICCSA
2005
IEEE
15 years 10 months ago
2005
IEEE
OpenSST (Open Simple Secure Transaction) is a free software project and aims to create an efficient, open and secure alternative to the secure proprietary transaction protocol. Op...
124
click to vote
FOSSACS
2005
Springer
15 years 10 months ago
2005
Springer
Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising...