Sciweavers

19936 search results - page 3649 / 3988
» Inductive process modeling
Sort
View
EAAI
2006
123views more  EAAI 2006»
15 years 4 months ago
Applications of artificial intelligence for optimization of compressor scheduling
This paper presents a feasibility study of evolutionary scheduling for gas pipeline operations. The problem is complex because of several constraints that must be taken into consi...
Hanh H. Nguyen, Christine W. Chan
ENTCS
2006
109views more  ENTCS 2006»
15 years 4 months ago
Incremental Verification for On-the-Fly Controller Synthesis
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers pr...
David J. Musliner, Michael J. S. Pelican, Robert P...
ENTCS
2006
173views more  ENTCS 2006»
15 years 4 months ago
Formal Security Analysis for Ad-Hoc Networks
In ad-hoc networks, autonomous wireless nodes can communicate by forwarding messages for each other. For routing protocols in this setting, it is known that a malicious node can p...
Sebastian Nanz, Chris Hankin
EOR
2006
106views more  EOR 2006»
15 years 4 months ago
Synergy analysis of collaborative supply chain management in energy systems using multi-period MILP
Energy, a fundamental entity of modern life, is usually produced using fossil fuels as the primary raw material. A consequence of burning fossil fuels is the emission of environme...
Ahu Soylu, Cihan Oruç, Metin Türkay, K...
ESE
2006
199views Database» more  ESE 2006»
15 years 4 months ago
Experiences from introducing UML-based development in a large safety-critical project
UML and UML-based development methods have become de facto standards in industry, and there are many claims for the positive effects of modelling object-oriented systems using meth...
Bente Anda, Kai Hansen, Ingolf Gullesen, Hanne Kri...
« Prev « First page 3649 / 3988 Last » Next »