Sciweavers

14809 search results - page 2670 / 2962
» Model transformation by demonstration
Sort
View
AES
2006
Springer
106views Cryptology» more  AES 2006»
15 years 6 months ago
A grid-enabled problem solving environment for parallel computational engineering design
This paper describes the development and application of a piece of engineering software that provides a Problem Solving Environment (PSE) capable of launching, and interfacing wit...
C. E. Goodyer, Martin Berzins, Peter K. Jimack, L....
ENTCS
2008
101views more  ENTCS 2008»
15 years 6 months ago
Improving Fault-based Conformance Testing
Fault-based conformance testing is a conformance testing strategy that relies on specific fault models. Previously, this mutation testing technique has been applied to protocol spe...
Bernhard K. Aichernig, Martin Weiglhofer, Franz Wo...
AUTOMATICA
2006
101views more  AUTOMATICA 2006»
15 years 6 months ago
A risk-sensitive approach to total productive maintenance
While risk-sensitive (RS) approaches for designing plans of total productive maintenance are critical in manufacturing systems, there is little in the literature by way of theoret...
Abhijit Gosavi
AUTOMATICA
2006
74views more  AUTOMATICA 2006»
15 years 6 months ago
Distributed receding horizon control for multi-vehicle formation stabilization
We consider the control of interacting subsystems whose dynamics and constraints are decoupled, but whose state vectors are coupled non-separably in a single cost function of a fi...
William B. Dunbar, Richard M. Murray
CAD
2006
Springer
15 years 6 months ago
Robust parameter synthesis for planar higher pair mechanical systems
We present a parameter synthesis algorithm for planar, higher pair mechanical systems. The input is a parametric model of a mechanical system (part shapes and configurations) with...
Min-Ho Kyung, Elisha Sacks
« Prev « First page 2670 / 2962 Last » Next »