-
1161Published 2007Table of Contents: “… Security Evaluation Model for Multi-Agent Distributed Systems -- Industrial Application and Evaluation of a…”
Full Text via HEAL-Link
Electronic eBook -
1162Published 2010Table of Contents: “… -- Telecommunication Systems I -- Perfect Sampling of Load Sharing Policies in Large Scale Distributed Systems…”
Full Text via HEAL-Link
Electronic eBook -
1163Published 2005Table of Contents: “… and Model Checking for Mobile Processes -- Concurrent and Distributed Systems -- Object Connectivity…”
Full Text via HEAL-Link
Electronic eBook -
1164Published 2008Table of Contents: “…Invited Papers -- The world of autonomous distributed systems -- Time and Space Coordination…”
Full Text via HEAL-Link
Electronic eBook -
1165Published 2008Table of Contents: “… -- On Local Reasoning in Verification -- Concurrent/Distributed Systems -- Interprocedural Analysis…”
Full Text via HEAL-Link
Electronic eBook -
1166Published 2015Table of Contents: “… Quality in Distribution System Using D-STATCOM -- 41. Simulation and Optimization of Biomass Based Hybrid…”
Full Text via HEAL-Link
Electronic eBook -
1167Published 2015Table of Contents: “… -- Management of Distribution System Protection with High Penetration of DGs -- Assessment of Total Operating…”
Full Text via HEAL-Link
Electronic eBook -
1168Published 2015Table of Contents: “… Talks -- ADAM: Causality-Based Synthesis of Distributed Systems -- Alchemist: Learning Guarded Affine…”
Full Text via HEAL-Link
Electronic eBook -
1169Published 2000Table of Contents: “… Methods for Determining the Representation of Expert Informationin Distributed Systems -- Drafting…”
Full Text via HEAL-Link
Electronic eBook -
1170Published 1999Table of Contents: “… Engineering Education in Ukraine -- Distributed Systems -- yaRTI, a Ada 95 HLA Run-Time Infrastructure…”
Full Text via HEAL-Link
Electronic eBook -
1171Published 2004Table of Contents: “… Objects for Information Distribution Systems.…”
Full Text via HEAL-Link
Electronic eBook -
1172Published 2000Table of Contents: “… Performance Modeling of Distributed Systems -- Roles -- A Radical Revision of UML's Role Concept -- The Role…”
Full Text via HEAL-Link
Electronic eBook -
1173Published 1999Table of Contents: “… Open Distributed Systems -- Structural Sharing and Efficient Proof-Search in Propositional…”
Full Text via HEAL-Link
Electronic eBook -
1174Published 1999Table of Contents: “…: Networks and Distributed Systems -- Achieving Fault-Tolerant Ordered Broadcasts in CAN -- Directional…”
Full Text via HEAL-Link
Electronic eBook -
1175Published 2000Table of Contents: “… Automata from LTL Formulae -- Efficient Detection of Global Properties in Distributed Systems Using Partial…”
Full Text via HEAL-Link
Electronic eBook -
1176Published 2016Table of Contents: “… Behavior and Robot Congestion -- DisCoF: Cooperative Pathfinding in Distributed Systems with Limited…”
Full Text via HEAL-Link
Electronic eBook -
1177Published 2016Table of Contents: “… in VoIP scenarios -- Digital Watermarking -- Fingerprinting for Broadcast Content Distribution System…”
Full Text via HEAL-Link
Electronic eBook -
1178Published 2003Table of Contents: “… Programmers -- A Logic Programming View of Authorization in Distributed Systems -- Compositional Verification…”
Full Text via HEAL-Link
Electronic eBook -
1179Published 2018Table of Contents: “…) & its Applications in Smart Distribution Systems -- A Rule Driven Architecture to Address…”
Full Text via HEAL-Link
Electronic eBook -
1180Published 2007Table of Contents: “… for Distributed Systems -- Why Automata Models Are Sexy for Testers? (Invited Talk) -- Regular Papers…”
Full Text via HEAL-Link
Electronic eBook