Using formal methods to specify the functional properties of engineering software von Baugh, J.W.

Volltext

Network-distributed finite element analysis von Chadha, H.S., Baugh, J.W.

Volltext

Limnological characteristics of selected lakes in the Nebraska sandhills, U.S.A., and their relation to chemical characteristics of adjacent ground water von La Baugh, James W

Volltext

Discrete Element Modelling on a Cluster of Workstations von Baugh Jr, J.W., Konduri, R.K.S.

Volltext

Finite State Verification of Intelligent Transportation Systems von Baugh, John W, Kakivaya, GopalaKrishna Reddy

Volltext

Semantic Validation of Product and Process Models von Baugh, John W, Chadha, Harpreet S

Volltext

Genetic Algorithm-Based Decision Support for Optimizing Seismic Response of Piping Systems von Gupta, Abhinav, Kripakaran, Prakash, (Kumar) Mahinthakumar, G, Baugh, John W

Volltext

Verification of an active control system using temporal process algebra von ELSEAIDY, W. M, BAUGH, J. W, CLEAVELAND, R

Volltext

Real-Time Software Development with Formal Models von Baugh, John W, Elseaidy, Wael M

Volltext

Evaluation of distributed finite element algorithms on a workstation network von BAUGH, J. W, SHARMA, S. K

Volltext

Optimal Design of Redundant Water Distribution Networks Using a Cluster of Workstations von Kumar, Sujay V, Doby, Troy A, Baugh, John W, Brill, E. Downey, Ranjithan, S. Ranji

Volltext

A client—server approach for distributed finite element analysis von Sharma, Suresh K., Baugh, John W., Chadha, Harpreet S.

Volltext

INTRACTABILITY OF THE DIAL-A-RIDE PROBLEM AND A MULTIOBJECTIVE SOLUTION USING SIMULATED ANNEALING von BAUGH, JOHN W., KAKIVAYA, GOPALA KRISHNA REDDY, STONE, JOHN R.

Volltext

Response to Freestanding Clinical Pastoral Education Centers von Baugh, William J.

Volltext

Network-distributed finite element analysis: Computing in civil and structural engineering von CHADHA, H. S, BAUGH, J. W

Volltext

Asynchronous Genetic Algorithms for Heterogeneous Networks Using Coarse-Grained Dataflow von Baugh, John W., Kumar, Sujay V.

Volltext

Data Abstraction in Engineering Software Development von Baugh, John W, Rehak, Daniel R

Volltext

A structure-based model of semantic integrity constraints for relational data bases von Rasdorf, William J., Ulberg, Karen J., Baugh, John W., Jr

Volltext

A MATHEMATICAL PROGRAMMING APPROACH FOR GENERATING ALTERNATIVES IN DISCRETE STRUCTURAL OPTIMIZATION von BAUGH, JOHN W., CALDWELL, SHANNON C., BRILL, E. DOWNEY

Volltext

Modeling and verifying active structural control systems von Elseaidy, Wael M., Cleaveland, Rance, Baugh, John W.

Volltext