1206 search results - page 64 / 242 » Concurrent Abstract Predicates |
91
Voted
DEXA
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Access control policies are security policies that govern access to resources. Real-time update of access control policies, that is, updating policies while they are in e...
95
Voted
SPIN
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. In this article, we address the problem of statically determining an approximation of the communication topology of concurrent programs. These programs may contain dynami...
CONCUR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. An impure language is one that combines functional and imperative constructs. We propose a method for ensuring termination of impure concurrent languages that makes it po...
99
Voted
LOBJET
2000
15 years 10 days ago
2000
ABSTRACT. As informal methods do little to help their use for concurrent and distributed programming, one of the most challenging current tasks is to build tools based on formal me...
92
Voted
GLOBECOM
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--With the deployment of more and more resiliencecritical Internet applications, there is a rising demand for multihomed network sites. This leads to the desire for simulta...