6308 search results - page 241 / 1262 » Modeling Urgency in Timed Systems |
154
click to vote
CJ
2004
15 years 4 months ago
2004
This paper describes a way to manage the modeling and analysis of Scheduled Maintenance Systems (SMS) within an analytically tractable context. We chose a significant case study h...
230
click to vote
FSTTCS
2010
Springer
15 years 2 months ago
2010
Springer
We study (collapsible) higher-order pushdown systems -- theoretically robust and well-studied models of higher-order programs -- along with their natural subclass called (collapsi...
133
click to vote
ECRTS
2004
IEEE
15 years 8 months ago
2004
IEEE
We present a task model for adaptive real-time tasks in which a task's execution rate requirements are allowed to change at any time. The model, variable rate execution (VRE)...
130
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract— We are developing a swarm-intelligent inspection system based on a swarm of autonomous, miniature robots, using only on-board, local sensors. To estimate intrinsic adva...
125
click to vote
ICRA
1995
IEEE
15 years 8 months ago
1995
IEEE
1 - This paper discusses an architecture designed to provide support for the development of state transition models for an object-oriented distributed environment. The state transi...