2438 search results - page 291 / 488 » Scheduling problems for parallel and distributed systems |
183
click to vote
COLCOM
2009
IEEE
15 years 11 months ago
2009
IEEE
Risk-based access control raises some novel problems that have not yet been investigated. In particular, the ability to aggregate uncertain risk estimations from different experts...
190
click to vote
CONCUR
2001
Springer
15 years 11 months ago
2001
Springer
Bounded model checking has been recently introduced as an efficient verification method for reactive systems. In this work we apply bounded model checking to asynchronous systems....
194
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
Abstract. We address the general problem of automatically proving safety properties of reactive systems within the UNITY model. We take up a relational and set-based approach, and ...
152
click to vote
PODC
2010
ACM
15 years 8 months ago
2010
ACM
In this paper, we address the problem of content placement in peer-to-peer systems, with the objective of maximizing the utilization of peers' uplink bandwidth resources. We ...
174
click to vote
ISORC
2005
IEEE
16 years 3 days ago
2005
IEEE
In this paper, we propose an architecture for adaptive real-time workflow-based collaborative system. Such a system is needed to support real-time communication and sharing of inf...