6308 search results - page 257 / 1262 » Modeling Urgency in Timed Systems |
167
click to vote
RT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present a new data structure for encoding the appearance of a geometric model as seen from a viewing region (view cell). This representation can be used in interactive...
220
click to vote
CSREAESA
2006
15 years 8 months ago
2006
- We present a software tool for high-level design and analysis of large-scale embedded real-time software, which has been integrated into a vehicle control platform development to...
169
click to vote
RTSS
2005
IEEE
16 years 4 days ago
2005
IEEE
Periodic update transaction model has been used to maintain freshness (or temporal validity) of real-time data. Period and deadline assignment has been the main focus in the past ...
158
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
We define and develop a solution approach for planning, scheduling and managing project efforts where there is significant uncertainty in the duration, resource requirements and o...
162
click to vote
WSC
2007
15 years 9 months ago
2007
We study an approximation for the zero-variance change of measure to estimate the probability of a rare event in a continuous-time Markov chain. The rare event occurs when the cha...