1087 search results - page 7 / 218 » Achieving Distributed Control through Model Checking |
ICAS
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract—A growing number of applications start using Semantic Web technologies. The base concept in this technology is the use of ontologies, allowing first-order logic reasoni...
CCE
2008
13 years 5 months ago
2008
A simple optimal balance control scheme for electrolyzation plants is proposed. It can be realized through the use of a commercially available model predictive control (MPC) packa...
ASIAN
2003
Springer
14 years 5 days ago
2003
Springer
Protocols for distributed systems make often use of random transitions to achieve a common goal. A popular example are randomized leader election protocols. We introduce probabilis...
JSSPP
2005
Springer
14 years 13 days ago
2005
Springer
Real-time applications with security requirements are emerging in various areas including government, education, and business. The security sensitive real-time applications can ta...
CAV
2009
Springer
13 years 11 months ago
2009
Springer
Priorities are used to control the execution of systems to meet given requirements for optimal use of resources, e.g., by using scheduling policies. For distributed systems, it is ...