Sciweavers

303 search results - page 23 / 61
» Managing Complex Temporal Requirements in Real-Time Control ...
Sort
View
ESTIMEDIA
2009
Springer
15 years 6 months ago
QoS management of dynamic video tasks by task splitting and skipping
—We have integrated processing with deterministic and non-deterministic resource usage in an overall application and evaluated its performance on a multi-core processor platform....
Rob Albers, Eric Suijs, Peter H. N. de With
ATAL
2003
Springer
15 years 5 months ago
An evolving multi agent system for meteorological alerts
The Australian Bureau of Meteorology has a requirement for complex and evolving systems to manage its weather forecasting, monitoring and alerts. This paper describes an agent-bas...
Sandy Dance, Malcolm Gorman, Lin Padgham, Michael ...
RTAS
2006
IEEE
15 years 5 months ago
Granularity Aware (m, k) Queue Management for Real-time Media Servers
Real-time media servers are becoming increasingly important as the Internet supports more and more multimedia applications. In order to meet these ever increasing demands, real-ti...
Yingxin Jiang, Aaron Striegel
SACMAT
2010
ACM
15 years 4 months ago
Monitoring security policies with metric first-order temporal logic
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
David A. Basin, Felix Klaedtke, Samuel Müller
SGAI
2007
Springer
15 years 6 months ago
Supporting Temporal Information in Medical Care Planning
The problems associated with planning and managing patient treatment through complex care settings are significant. It has long been realised that support tools are invaluable in ...
Kirsty Bradbrook, Graham Winstanley