Sciweavers

5180 search results - page 322 / 1036
» Concurrency, Time, and Constraints
Sort
View
FAABS
2004
Springer
16 years 5 days ago
Towards Timed Automata and Multi-agent Systems
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
Guillaume Hutzler, Hanna Klaudel, D. Yue Wang
RTSS
2003
IEEE
16 years 2 days ago
Rotational-Position-Aware Real-Time Disk Scheduling Using a Dynamic Active Subset (DAS)
Scheduling disk requests with service guarantees has to bring the demand to meet guarantees in line with the need to optimize disk utilization. This paper presents the design, imp...
Lars Reuther, Martin Pohlack
WORDS
2003
IEEE
16 years 1 days ago
Application QoS-Based Time-Critical Automated Resource Management in Battle Management Systems
This paper summarizes some of our unclassified work on concepts and techniques for performing automated runtime time-critical resource management (especially scheduling) in large ...
E. Douglas Jensen
RTCSA
2000
IEEE
15 years 11 months ago
Tracking Real-Time Systems Requirements
One of the hard problems in maintaining real-time systems requirements is to keep track of the impact of resource usage on the applications. Often times, it is not sufficient to ...
Aloysius K. Mok
ISORC
1999
IEEE
15 years 11 months ago
An Adaptive Scheduling Approach in Real-Time CORBA
CORBA is an emerging middleware infrastructure with open standardization that is receiving a good acceptance since it makes easier to program distributed objects. CORBA is being e...
Carlos Montez, Joni da Silva Fraga, Jean-Marie Far...