690 search results - page 79 / 138 » Testing Temporal Logic Properties in Distributed Systems |
SIGMOD
2010
ACM
15 years 5 months ago
2010
ACM
We present SecureBlox, a declarative system that uniļ¬es a distributed query processor with a security policy framework. SecureBlox decouples security concerns from system speciļ...
122
click to vote
ECOOP
1995
Springer
15 years 4 months ago
1995
Springer
Abstract. This paper presents a framework of speciļ¬cation and veriļ¬cation for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
LADC
2007
Springer
15 years 6 months ago
2007
Springer
A distributed dynamic system is a fully distributed system subject to a continual arrival/departure of the entities deļ¬ning the system. Another characterizing dimension of these ...
98
Voted
FMOODS
2003
15 years 1 months ago
2003
A way to write proof scores showing that distributed systems have invariant properties in algebraic speciļ¬cation languages is described, which has been devised through several ca...
105
Voted
ADHOCNOW
2008
Springer
15 years 7 months ago
2008
Springer
Ad hoc networks are exposed more than traditional networks to security threats due to their mobility and open architecture aspects. In addition, any dysfunction due to badly con gu...