1161 search results - page 93 / 233 » Resource Modeling for Timed Creol Models |
99
Voted
WSC
2007
15 years 5 months ago
2007
One of the more complex maneuvers a hospital system can perform is moving an entire patient population from an old facility to a replacement facility. All patients must be transpo...
109
click to vote
CODES
2000
IEEE
15 years 8 months ago
2000
IEEE
Frequency interleaving is introduced as a means of conceptualizing and co-scheduling hardware and software behaviors so that software models with conceptually unbounded state and ...
155
click to vote
MEDES
2010
ACM
14 years 10 months ago
2010
ACM
In this paper, we describe a security model where users are allowed to control their obligations partially or totally, depending on the security policy. The main motivation of our...
132
click to vote
WSC
2000
15 years 4 months ago
2000
Simulation models are useful to predict and understand the impact of changes to a manufacturing system. Typical factory simulation models include the parts being manufactured in t...
123
Voted
CISIS
2010
IEEE
15 years 10 months ago
2010
IEEE
—Bringing together heterogeneous computing devices and appliances gives rise to a spontaneous environment where resources exchange messages, such as a mobile phone telling the ca...