Sciweavers

1105 search results - page 64 / 221
» Timed Automata Model for Component-Based Real-Time Systems
Sort
View
IKE
2004
13 years 10 months ago
Real-Time Decision Support System for Space Missions Control
- Space weather refers to conditions on the sun and in the solar wind, magnetosphere, ionosphere, and thermosphere that can influence the performance and reliability of space-borne...
João Moura Pires, Marta Pantoquilho, Nuno V...
ISORC
1998
IEEE
14 years 1 months ago
Specification of Real-Time Interaction Constraints
We present a coordination language and its semantics for specification and implementation of object-oriented realtime systems. Real-time systems operate under real-time constraint...
Brian Nielsen, Shangping Ren, Gul Agha
INFOCOM
2008
IEEE
14 years 3 months ago
Index Policies for Real-Time Multicast Scheduling for Wireless Broadcast Systems
Abstract—Motivated by the increasing usage of wireless broadcast networks for multicast real-time applications like video, this paper considers a canonical real-time multicast sc...
Vivek Raghunathan, Vivek S. Borkar, Min Cao, P. R....
ECBS
2007
IEEE
142views Hardware» more  ECBS 2007»
14 years 3 months ago
Model-Driven Engineering for Development-Time QoS Validation of Component-Based Software Systems
Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based systems....
James H. Hill, Sumant Tambe, Aniruddha S. Gokhale
WSC
1998
13 years 10 months ago
Application of Real-Time Simulation to Assign Due Dates on Logistic-manufacturing Networks
This paper presents the application of real-time simulation to assign due dates on logistic-manufacturing networks. Information from the manufacturing, transportation, and supplie...
Alex J. Ruiz-Torres, Kazuo Nakatani