Sciweavers

1090 search results - page 154 / 218
» Case Study: Componentization of an Industrial Control System
Sort
View
PADS
1999
ACM
14 years 1 months ago
Shock Resistant Time Warp
In an attempt to cope with time-varying workload, traditional adaptive Time Warp protocols are designed to react in response to performance changes by altering control parameter c...
Alois Ferscha, James Johnson
AGILEDC
2003
IEEE
14 years 2 months ago
PARFAIT: Towards a Framework-based Agile Reengineering Process
The paper presents a sketch of a framework-based agile reengineering process, named PARFAIT1 , whose objective is to provide the users with evolved versions of legacy systems, as ...
Maria Istela Cagnin, José Carlos Maldonado,...
EMSOFT
2008
Springer
13 years 11 months ago
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
Rajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shash...
ECIS
2003
13 years 10 months ago
The ERP system as a part of an organization's administrative paradox
This paper argues that ERP systems take the part of an organization’s administrative paradox. An administrative paradox is two sides of the same coin when coordinating organizat...
Ulf Melin
JAR
2008
107views more  JAR 2008»
13 years 9 months ago
Differential Dynamic Logic for Hybrid Systems
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equat...
André Platzer