Sciweavers

238 search results - page 31 / 48
» Integrating UML diagrams for production control systems
Sort
View
ICDE
2007
IEEE
193views Database» more  ICDE 2007»
14 years 9 months ago
Categorization and Optimization of Synchronization Dependencies in Business Processes
requirement. Furthermore, programming using sequence constructs normally produce nested structures and The current approachfor modeling synchronization in scattered code, especiall...
Qinyi Wu, Calton Pu, Akhil Sahai, Roger S. Barga
ICCSA
2005
Springer
14 years 1 months ago
Conceptual Modeling of Genetic Studies and Pharmacogenetics
Genetic Studies examine relationships between genetic variation and disease development. Pharmacogenetics studies the responses to drugs against genetic variation. These two lines ...
Xiaohua Zhou, Il-Yeol Song
UML
2005
Springer
14 years 1 months ago
Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
Alban Rasse, Jean-Marc Perronne, Pierre-Alain Mull...
DEXAW
2008
IEEE
98views Database» more  DEXAW 2008»
14 years 2 months ago
Interface for Multidisciplinary Virtual Prototype Components
Computer-based concurrent engineering of products, denoted as Virtual Engineering (VE), is used extensively to meet the requirements of product development. Current research deals...
Stephan Vornholt, Ingolf Geist
ICRA
2000
IEEE
62views Robotics» more  ICRA 2000»
13 years 12 months ago
Design and Implementation of a Robot Assisted Crucible Charging System
A robotic system is developed to automate the packing of polycrystalline silicon nuggets into a fragile fused silica crucible in CZ semiconductor wafer production. The highly irre...
Vivek A. Sujan, Steven Dubowsky, Yoshiaki Ohkami