Titlebook: Quality of Communication-Based Systems; Proceedings of an In Günter Hommel Conference proceedings 1995 Springer Science+Business Media Dord

GLADE

释放

of communicationprotocols ..Reliability, security and dependability in distributedsystems ..Object orientation in distributed systems architecture..Software development and concepts for distributed applications..Computer network architecture and management ..Languageconcepts for distributed systems...978-94-010-4084-6978-94-011-0187-5

防水

懒惰民族

Circumscribe

Conference proceedings 1995ational community. Tostimulate the scientific discussion, renowned experts have beeninvited to give their views on the research areas:..Formal specification and mathematical foundations of distributedsystems using process algebra, graph transformations, process calculiand temporal logics ..Performan

Stress

Abstract Datatype Semantics for Algebraic High-Level Nets Using Dynamic Abstract Datatypessformations of algebras as state transformations, we intro-duce a new kind of semantics for algebraic high-level nets that especially reflects the data type part. Algebraic high-level nets are interpreted in this framework, where the underlying data type remains unchanged and the net and the net beh

CYT

FISC

轻弹

endarterectomy

Transient Analysis of Real-Time Systems Using Deterministic and Stochastic Petri Netsriodic tasks are multiples of each other, task execution times have phase-type distributions and aperiodic tasks arrive from Poisson sources. Since interarrival times of periodic tasks are constant, deterministic and stochastic Petri nets (DSPN) are an appropriate model. Using Markov regenerative th