6308 search results - page 200 / 1262 » Modeling Urgency in Timed Systems |
159
click to vote
TII
2010
14 years 11 months ago
2010
With growing cost of electricity, the power management of server clusters has become an important problem. However, most previous researchers only address the challenge in homogen...
160
click to vote
FORMATS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We investigate layered composition for real-time systems modelled as (networks of) timed automata (TA). We first formulate the principles of layering and transition indep...
134
click to vote
DSRT
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper describes a variant of the actor model suited to the development of multimedia systems. The actor model centers on non-overkilling concurrency and customizable constrai...
137
click to vote
FMCO
2008
Springer
15 years 6 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
167
Voted
RTCSA
2008
IEEE
15 years 11 months ago
2008
IEEE
Nowadays, systems often integrate a variety of applications whose service requirements are heterogeneous. Consequently, systems must be able to concurrently serve applications whi...