34 search results - page 5 / 7 » A: an assertion language for distributed systems |
FMCAD
2008
Springer
14 years 11 months ago
2008
Springer
The semantics of temporal logic is usually defined with respect to a word representing a computation path over a set of atomic propositions. A temporal logic formula does not contr...
106
click to vote
ICFP
2003
ACM
15 years 9 months ago
2003
ACM
This paper presents a static type system for JAVA Virtual Machine (JVM) code that enforces an access control mechanism similar to the one found, for example, in a JAVA implementat...
ISSTA
2006
ACM
15 years 3 months ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
102
click to vote
DIM
2005
ACM
14 years 11 months ago
2005
ACM
Identity federation is a powerful scheme that links accounts of users maintained distinctly by different business partners. The concept of network identity is a driver for accele...
111
Voted
KCAP
2011
ACM
14 years 13 days ago
2011
ACM
With billions of assertions and counting, the Web of Data represents the largest multi-contributor interlinked knowledge base that ever existed. We present a novel framework for a...