1161 search results - page 13 / 233 » Resource Modeling for Timed Creol Models |
100
click to vote
WSC
1998
15 years 3 months ago
1998
This paper presents Timed Petri Nets (TPN) as an analytical approach for verification of computerized queueing network simulation models at steady state. It introduces a generic a...
103
click to vote
CHI
2011
ACM
14 years 6 months ago
2011
ACM
People with chronic health problems use online resources to understand and manage their condition, but many such resources can present competing and confusing viewpoints. We surve...
108
click to vote
MANSCI
2007
15 years 2 months ago
2007
We develop a formal model of the timing of resource development by competing …rms. Our aim is to deepen and extend resource-level theorizing about sustainable competitive advant...
126
click to vote
INFOCOM
2010
IEEE
15 years 1 months ago
2010
IEEE
—In IEEE 802.22 Wireless Regional Area Networks (WRANs), each Base Station (BS) solves a complex resource allocation problem of simultaneously determining the channel to reuse, p...
130
click to vote
RTSS
2003
IEEE
15 years 7 months ago
2003
IEEE
Real-time systems are growing in complexity and realtime and soft real-time applications are becoming common in general-purpose computing environments. Thus, there is a growing ne...