netis system  (470 Angebote unter 17 291 307 Artikeln)

Petri nets provide a formal framework for system modeling and validation which has proven to be very reliable in practice. This book presents variousnet models appropriate for designing specific sy...

Markov Chains are widely used as stochastic models to study a broad spectrum of system performance and dependability characteristics. This monograph is devoted to compositional specification and an...

Mit diesem Artikel können alle genormten Kombieinsätze nach DIN 49075 integriert werden. Zum Beispiel TAE, Modular Jack, Daten‐ und Kommunikationssysteme der Firmen PANDUIT (PAN‐NET), Ackermann WAE...

Security and Privacy in Smart Grids

System Design Das neue Schalterprogramm System Design bietet eine neue Grundgeometrie. System Design fokussiert die Inszenierung der Fläche, die ideale Passung mit dem Baukörper. Das neue Designkon...

Mit diesem Artikel können alle genormten Kombieinsätze nach DIN 49075 integriert werden. Zum Beispiel TAE, Modular Jack, Daten‐ und Kommunikationssysteme der Firmen PANDUIT (PAN‐NET), Ackermann WAE...

Web Intelligence.- The World Wide Wisdom Web (W4).- Web Information Personalization: Challenges and Approaches.- An Adaptive E-commerce Personalization Framework with Application in E-banking.- Acc...

Mit dem Zwischenring können System M-Einsätze mit normaler Bauhöhe (z. B. TAE, UAE, Steckdosen, ...) in System Design integriert werden.

With today's rise of multi-core processors, concurrency becomes a ubiquitous challenge in software development.Performance prediction methods have to reflect the influence of multiprocessing enviro...

This volume is a brief, yet comprehensive account of new development, tools, techniques and solutions in the broadly perceived "intelligent systems". New concepts and ideas concern the development ...

"From Programs to Systems - The Systems Perspective in Computing" workshop (FPS 2014) was held in honor of Professor Joseph Sifakis in the framework of the 16th European Joint Conferences on Theory...

Dynamic Simulation of Note Transitions in Reed Instruments: Application to the Clarinet and the Saxophone.- The BRASS Project, from Physical Models to Virtual Musical Instruments: Playability Issue...

This volume is a brief, yet comprehensive account of new development, tools, techniques and solutions in the broadly perceived "intelligent systems". New concepts and ideas concern the development ...

Heavy Tails: The Effect of the Service Discipline.- The Möbius State-Level Abstract Functional Interface.- The ProC/BToolset for the Modelling and Analysis of Process Chains.- MRMSolve: Distributio...

These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues ...