5470 search results - page 243 / 1094 » Distributed Control Lab |
132
click to vote
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We consider the control problem for timed automata against specifications given as MTL formulas. The logic MTL is a linear-time timed temporal logic which extends LTL wit...
134
click to vote
CN
2004
15 years 3 months ago
2004
Distributed Web-server systems have been widely used to provide effective Internet services. The management of these systems requires dynamic controls of the Web traffic. With the...
111
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
Computer science and especially heterogeneous distributed computing is an experimental science. Simulation, emulation, or in-situ implementation are complementary methodologies to...
119
Voted
GRID
2007
Springer
15 years 10 months ago
2007
Springer
– Grid access control policy languages today are generally one of two extremes: either extremely simplistic, or overly complex and challenging for even security experts to use. I...
115
Voted
SACMAT
2004
ACM
15 years 9 months ago
2004
ACM
This paper maintains that for an access-control mechanism to support a wide range of policies, it is best to dispense with any built-in semantics for roles in the mechanism itself...