Concurrency Model for Distributed Systems

By Kim M.   Chanson S.T.   Vuong S.T.  

Journal of Parallel and Distributed Computing, Vol. 59, Iss. 3, 1999-12 ,pp. : 445-464

Academic Press

Access to resources Recommend Favorite

An algebraic model for the representation of accounting systems

By Nehmer R.A.   Robinson D.  

Annals of Operations Research, Vol. 71, Iss. 1, 1997-01 ,pp. : 179-198

Springer Publishing Company

Access to resources Recommend Favorite

Verifying distributed real-time properties of embedded systems via graph transformations and model checking

By Madl Gabor   Abdelwahed Sherif   Schmidt Douglas  

Real-Time Systems, Vol. 33, Iss. 1-3, 2006-07 ,pp. : 77-100

Springer Publishing Company

Access to resources Recommend Favorite

Nonlinear systems ‐ algebraic gramians and model reduction

By Condon Marissa   Ivanov Rossen  

COMPEL: Int J for Computation and Maths. in Electrical and Electronic Eng., Vol. 24, Iss. 1, 2005-03 ,pp. : 202-219

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

A trust model for distributed systems based on reputation

By Derbas Ghada   Kayssi Ayman   Chehab Ali   Artail Hassan   Tajeddine Ayman  

International Journal of Web and Grid Services, Vol. 1, Iss. 3-4, 2005-12 ,pp. : 416-447

Inderscience Publishers

Access to resources Recommend Favorite