Sciweavers

8190 search results - page 365 / 1638
» From Timed to Hybrid Systems
Sort
View
ICDCS
2000
IEEE
15 years 11 months ago
Scalable QoS Guaranteed Communication Services for Real-Time Applications
In this paper, we propose an approach to flow-unaware admission control, which is combination with an aggregate packet forwarding scheme, improves scalability of networks while g...
Byung-Kyu Choi, Dong Xuan, Chengzhi Li, Riccardo B...
RTSS
2000
IEEE
15 years 11 months ago
Analysis of a Window-Constrained Scheduler for Real-Time and Best-Effort Packet Streams
This paper describes how Dynamic WindowConstrained Scheduling (DWCS) can guarantee real-time service to packets from multiple streams with different performance objectives. We sho...
Richard West, Christian Poellabauer
FORMATS
2006
Springer
15 years 10 months ago
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
Carlo A. Furia, Matteo Rossi

Publication
198views
15 years 10 months ago
Real time policy based management of workflows for SLA Adherence
The need for service providers to offer SLAs to gain consumers confidence has become increasingly apparent. Our work focuses on providers who manage the execution of long-running d...
Daniel Spaven, Madhavi Rani, Sumit Kumar Bose, Mik...
SIROCCO
2000
15 years 8 months ago
On time versus size for monotone dynamic monopolies in regular topologies
: We consider a well known distributed coloring game played on a simple connected graph: initially, each vertex is colored black or white; at each round, each vertex simultaneously...
Paola Flocchini, Rastislav Kralovic, Alessandro Ro...