1087 search results - page 35 / 218 » Achieving Distributed Control through Model Checking |
CONCUR
2001
Springer
14 years 8 days ago
2001
Springer
Abstract. A controller is an environment for a system that achieves a particular control objective by providing inputs to the system without constraining the choices of the system....
ICDCS
2011
IEEE
12 years 7 months ago
2011
IEEE
—Resource provisioning for N-tier web applications in Clouds is non-trivial due to at least two reasons. First, there is an inherent optimization conflict between cost of resour...
WETICE
1998
IEEE
14 years 19 hour ago
1998
IEEE
We describe a system whose purpose is to explore the use of certificates for the distributed management of access rights for resources that have multiple, independent, and geograp...
ITS
2010
Springer
14 years 17 days ago
2010
Springer
Accelerated future learning, in which learning proceeds more effectively and more rapidly because of prior learning, is considered to be one of the most interesting measures of ro...
GRC
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper, we propose a linear control model for gene intervention in a genetic regulatory network. At each time step, finite controls are allowed to drive the network states...