Task allocation for maximizing reliability of distributed computer systems von Shatz, S.M., Wang, J.-P., Goto, M.

Volltext

An application of Petri net reduction for Ada tasking deadlock analysis von Shatz, S.M., Shengru Tu, Murata, T., Duri, S.

Volltext

A framework for model-based design of agent-oriented software von Haiping Xu, Shatz, S.M.

Volltext

Detection of Ada static deadlocks using Petri net invariants von Murata, T., Shenker, B., Shatz, S.M.

Volltext

Models and algorithms for reliability-oriented task-allocation in redundant distributed-computer systems von Shatz, S.M., Wang, J.-P.

Volltext

A petri net framework for automated static analysis of Ada tasking behavior von Shatz, S.M., Cheng, W.K.

Volltext

A protocol modeling and verification approach based on a specification language and Petri nets von Suzuki, T., Shatz, S.M., Murata, T.

Volltext

IQ and fertility: A cross-national study von Shatz, Steven M.

Volltext

Tool integration for flexible simulation of distributed algorithms von Khanvilkar, Shashank, Shatz, Sol M.

Volltext

Application and experimental evaluation of state space reduction methods for deadlock analysis in Ada von Duri, S., Buy, U., Devarapalli, R., Shatz, S. M.

Volltext

Post-Failure Reconfiguration of CSP Programs von Shatz, S.M.

Volltext

The psychometric properties of the behavioral inhibition scale in a college-aged sample von Shatz, Steven M.

Volltext

Towards complexity metrics for Ada tasking von Shatz, S.M.

Volltext

Introduction to Distributed-Software Engineering von Shatz, S M, Wang, J-P

Volltext

The relationship between Horney’s three neurotic types and Eysenck’s PEN model of personality von Shatz, Steven M.

Volltext

An agent-based Petri net model with application to seller/buyer design in electronic commerce von Haiping Xu, Shatz, S.M.

Volltext bestellen

Communication Mechanisms for Programming Distributed Systems von Shatz, S M

Volltext

Markov chain reduction and analysis of GSPN models for task allocation in distributed systems von Murata, Tadao, Bhatia, Randeep S., Shatz, Sol M.

Volltext

A partitioning algorithm for distributed software systems design von Shatz, Sol M., Yau, Stephen S.

Volltext

Design and implementation issues for supporting callback procedures in RPC-based distributed software von Sashidhar, C., Shatz, S.M.

Volltext