1699 search results - page 150 / 340 » A Rule Format for Associativity |
164
click to vote
WSC
1998
15 years 7 months ago
1998
The High Level Architecture (HLA) provides the specification of a common technical architecture for use across all classes of simulations in the US Department of Defense. It provi...
155
click to vote
WIDM
2004
ACM
15 years 11 months ago
2004
ACM
Maintenance of large Web sites is a complex task, similar in some sense to software maintenance. Content should be separated from the formatting rules, allowing independent develo...
186
Voted
CADE
2002
Springer
16 years 6 months ago
2002
Springer
Abstract. Proof-carrying code (PCC) allows a code producer to associate to a program a machine-checkable proof of its safety. In the original approach to PCC, the safety policy inc...
138
click to vote
SIGMOD
1989
ACM
15 years 10 months ago
1989
ACM
The HiPAC project is investigating active, time-constrained databasemanagment. An active DBMS is one which automatically executes specified actions when speciifed conditions arise...
171
click to vote
FC
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Starting from algebraic properties that enable guessing lowentropy secrets, we formalize guessing rules for symbolic verification. The rules are suited for both off-line ...