Sciweavers

1424 search results - page 61 / 285
» Modeling A Control System For Organizational Processes
Sort
View
ISSTA
2004
ACM
15 years 11 months ago
Verifying process models built using parameterized state machines
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
Barbara Staudt Lerner
WSC
1998
15 years 6 months ago
Informational Macrodynamics: System Modelling and Simulation Methodologies
Informational Macrodynamics (IMD) presents a unified informational systemic approach with common information language for modeling, analysis and optimization of a variety of inter...
Vladimir S. Lerner
FDL
2006
IEEE
15 years 11 months ago
SystemC-A Modeling of an Automotive Seating Vibration Isolation System
Abstract— A modeling methodology for mixed physical domains system in a new modelling Language is presented. The system is automotive seating vibration isolation system with elec...
Hessa Al-Junaid, Tom J. Kazmierski, Leran Wang
EOR
2006
68views more  EOR 2006»
15 years 5 months ago
Modelling complex assemblies as a queueing network for lead time control
In this paper we develop an open queueing network for optimal design of multi-stage assemblies, in which each service station represents a manufacturing or assembly operation. The...
Amir Azaron, Hideki Katagiri, Kosuke Kato, Masatos...
IJIS
2002
79views more  IJIS 2002»
15 years 5 months ago
Formal semantics of meta-level architectures: Dynamic control of reasoning
Meta-level architectures for dynamic control of reasoning processes are quite powerful. In the literature many applications in reasoning systems modelling complex tasks are descri...
Jan Treur