Rolf Stadler – författare
Visar alla böcker från författaren Rolf Stadler. Handla med fri frakt och snabb leverans.
3 produkter
3 produkter
568 kr
Skickas inom 10-15 vardagar
Das Buch behandelt die Spezifikation von Directory-Systemenunter Anwendung von Konzepten der logischen Programmierung.Ausgehend von der Definition derArchitektur einesDirectory-Systems wird eine Spezifikationsmethode zurBeschreibung solcher Architekturen vorgestellt. AlsSpezifikationssprache dient die Sprache derHornklausel-Logik, erweitert um Negation. Im Buch werdeneine von D.B. Terry bei Xerox PARC entworfene Architekturund ein Ausschnitt aus der Architektur des internationalenStandards f}r Directory-Systeme (X.500) spezifiziert. Daranlassen sich die Vorteile der vorgeschlagenen Methodeaufzeigen: Die Spezifikationen sind kompakt, gut lesbar undbesitzen eine deklarative und eine prozedurale Semantik.Die erstellten Spezifikationen lassen sich auf einemProlog-System ausf}hren. Die Ausf}hrbarkeit derSpezifikationen erweist sich als vielseitig anwendbareEigenschaft, welche beispielsweise die Simulation einesDirectory-Systems bei gegebener Konfiguration erm|glichtoder die ]berpr}fung (Verifikation, Validierung) einerSpezifikation erleichtert.
554 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 10th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM'99, held in Zurich, Switzerland in October 1999 with the topical focus on Active Technologies for Network and Service Management.The 20 revised full papers presented were carefully reviewed and selected from more than 50 submissions. The papers are organized in topical sections on decentralized monitoring and anomaly detection, management components and multi-domain management, the future of SNMP-based management, programmable SNMP-based management, management of programmable and active networks, IT and enterprise management, and management tools.
554 kr
Skickas inom 10-15 vardagar
This volume of the Lecture Notes in Computer Science series contains all papers th accepted for presentation at the 18 IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM 2007), which was held in the heart of Silicon Valley, San Jose, California, USA, on October 29–31, 2007. DSOM 2007 was the 18th event in a series of annual workshops. It followed in the footsteps of previous successful meetings, the most recent of which were held in Dublin, Ireland (DSOM 2006), Barcelona, Spain (DSOM 2005), Davis, California, USA (DSOM 2004), Heidelberg, Germany (DSOM 2003), and Montreal, Canada (DSOM 2002). The goal of the DSOM workshops is to bring together researchers from industry and academia working in the areas of networks, systems, and service management, to discuss recent advances and foster future growth. In contrast to the larger management conferences, such as IM (Integrated Network Management) and NOMS (Network Operations and Management Symposium), DSOM workshops have a single-track program in order to stimulate more intense interaction among participants.