Sciweavers

913 search results - page 38 / 183
» Modeling the Product Development Process as a Dynamic System...
Sort
View
RTSS
2003
IEEE
14 years 1 months ago
Dynamic Integrated Scheduling of Hard Real-Time, Soft Real-Time and Non-Real-Time Processes
Real-time systems are growing in complexity and realtime and soft real-time applications are becoming common in general-purpose computing environments. Thus, there is a growing ne...
Scott A. Brandt, Scott A. Banachowski, Caixue Lin,...
IJAOSE
2008
97views more  IJAOSE 2008»
13 years 8 months ago
Formal driven prototyping approach for multiagent systems
: Even if Multiagent Systems (MASs) are recognised as an appealing paradigm for designing many computer systems ranging from complex distributed systems to intelligent software app...
Vincent Hilaire, Pablo Gruer, Abderrafiaa Koukam, ...
JCP
2007
102views more  JCP 2007»
13 years 8 months ago
Deterministic Models of an Active Magnetic Bearing System
— In this paper the development of mathematical model of voltage-input and current-input active magnetic bearing (AMB) system in deterministic form is presented. The AMB system, ...
Abdul Rashid Husain, Mohamad Noh Ahmad, Abdul Hali...
CDC
2008
IEEE
101views Control Systems» more  CDC 2008»
14 years 2 months ago
Modeling and control of the heart left ventricle supported with a rotary assist device
—A Rotary Left Ventricular Assist Device (RLVAD) is a mechanical pump implanted in patients with congestive heart failure to assist their left ventricle in pumping blood through ...
Marwan A. Simaan
FOAL
2009
ACM
14 years 2 months ago
A machine-checked model of safe composition
Programs of a software product line can be synthesized by composing features which implement some unit of program functionality. In most product lines, only some combination of fe...
Benjamin Delaware, William R. Cook, Don S. Batory