1426 search results - page 165 / 286 » A control-based framework for self-managing distributed comp... |
143
Voted
ICWS
2009
IEEE
16 years 17 days ago
2009
IEEE
The main memory management has been a critical issue to provide high performance in web cluster systems. To overcome the speed gap between processors and disks, many prefetch sche...
120
Voted
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
This paper proposes a Compiled Labelled Deductive System, called ACCLDS, for reasoning about role-based access control in distributed systems, which builds upon Massacci’s tablea...
151
Voted
DAC
2008
ACM
16 years 4 months ago
2008
ACM
A SystemC simulation kernel consists of a deterministic implementation of the scheduler, whose specification is nondeterministic. To leverage testing of a SystemC TLM design, we f...
125
click to vote
COORDINATION
2009
Springer
16 years 4 months ago
2009
Springer
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
140
Voted
IJNSEC
2007
15 years 3 months ago
2007
In order to maximize resource utilization as well as providing trust management in P2P computing environments, we propose a novel framework - Trust-Incentive Service Management (T...