6308 search results - page 241 / 1262 » Modeling Urgency in Timed Systems |
182
click to vote
CJ
2004
15 years 6 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...
264
click to vote
FSTTCS
2010
Springer
15 years 3 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...
174
click to vote
ECRTS
2004
IEEE
15 years 10 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)...
167
click to vote
ICRA
2005
IEEE
16 years 4 days 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...
157
click to vote
ICRA
1995
IEEE
15 years 10 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...