2468 search results - page 341 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
149
click to vote
LSSC
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Air pollution models can efficiently be used in different environmental studies. The atmosphere is the most dynamic component of the environment, where the pollutants ca...
131
click to vote
ICS
1999
Tsinghua U.
15 years 8 months ago
1999
Tsinghua U.
Researchers have recently proposed coupling small- to mediumscale multiprocessors to build large-scale shared memory machines, known as multigrain shared memory systems. Multigrai...
142
click to vote
MIDDLEWARE
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The performance of multi-tier systems is known to be significantly degraded by workloads that place bursty service demands on system resources. Burstiness can cause queu...
141
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
In this paper, we study the maintenance of role-based access control (RBAC) models in database environments using transitive closure relations. In particular, the algorithms that ...
118
click to vote
ISBI
2002
IEEE
16 years 4 months ago
2002
IEEE
In PET imaging listmode is an alternative for projections to store the acquisition data with more accuracy. The reconstruction starting from the listmode format requires different...