1906 search results - page 39 / 382 » Dependable Self-Hosting Distributed Systems Using Constraint... |
112
click to vote
AINA
2008
IEEE
15 years 8 months ago
2008
IEEE
An experimental study shows the feasibility of service-oriented architectures for industrial automation and control systems even with respect to lower, real-time dependent control...
116
click to vote
SBMF
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
122
click to vote
SASO
2009
IEEE
15 years 8 months ago
2009
IEEE
—Large-scale agent-based systems are required to self-optimize towards multiple, potentially conflicting, policies of varying spatial and temporal scope. As a result, not all ag...
110
click to vote
TSMC
2010
14 years 8 months ago
2010
This paper proposes modeling the rapidly evolving energy systems as cyber-based physical systems. It introduces a novel cyber-based dynamical model whose mathematical description d...
PDPTA
2003
15 years 3 months ago
2003
In this paper, precedence constraint combination formalisms defined in the software domain are used to define the behavior of hardware systems. Specifically, AND-join and various ...