3967 search results - page 369 / 794 » Distributed Games and Distributed Control for Asynchronous S... |
167
Voted
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
Model-based control utilizes performance models of applications to choose performant system configurations for execution of applications. The performance models used in this resea...
204
click to vote
RTSS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes a stochastic analysis method for general periodic real-time systems. The proposed method accurately computes the response time distribution of each task in th...
186
click to vote
CONCUR
2006
Springer
15 years 10 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...
163
click to vote
SACMAT
2004
ACM
16 years 5 days 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...
211
click to vote
CLUSTER
2002
IEEE
15 years 6 months ago
2002
IEEE
The need to conduct and manage large sets of experiments for scientific applications dramatically increased over the last decade. However, there is still very little tool support ...