BookPDF Available

Guía de operación del grupo de inspección de edificaciones después de un Sismo. (Translated title: Operational guidelines for building inspection groups after an earthquake).

January 2003

Publisher: CompuScanner Ltda.

Authors:

Diana María Contreras Mojica

Cardiff University

German Tapia

National University of Colombia

Content uploaded by Diana María Contreras Mojica

Content may be subject to copyright.

ResearchGate has not been able to resolve any citations for this publication.

ResearchGate has not been able to resolve any references for this publication.

Article

A Simple Oscillator Based on Conservative Models for Generating Three Phase Waveforms

November 1979 · Proceedings of the IEEE

The reliance on conservative models is a well-known step in the development of conventional oscillators in two phases. This paper demonstrates that conservative models can also serve for the development of sinewaves and other waveform generators in three phases.

Article

From Processes to Policies ---

July 2004

Process-oriented IT management has gained more and more significance due to the need to specify and control IT infrastructures and services. An indicator for this circumstance is the success of the IT Infrastructure Library and the enhanced Telecom Operations Map. A process-oriented view allows administrators to specify management tasks and to decompose complex tasks into process chains and ... [Show full abstract] hierarchies. Policy based management is a promising candidate for implementation of processes, as it delivers a powerful concept for the implementation of management tasks. Policies are well suited for large scale systems, as the distributed execution in heterogeneous environments is one of the important features of policy architectures. In this paper we introduce patterns for the automated generation of policies from process specifications. To achieve the translation between process and policy specification, we leverage common characteristics of processes and policies and define mappings that serve as generic translation patterns. The use of these patterns allows automated translation of process definitions to policies. The approach enables high-level, intuitive management specification, while taking a step towards augmented automation and integration at the operational level. We derive requirements imposed by the translation and present ProPolis, a policy language incorporating those requirements.

Book

Guidelines for Operational Evaluation of Air Quality Models

January 2012

Article

Linear Concurrent Constraint Programming: Operational and Phase Semantics

May 2000 · Information and Computation

In this paper we give a logical semantics for the class CC of concurrent constraint programming languages and for its extension LCC based on linear constraint systems. Besides the characterization in intuitionistic logic of the stores of CC computations, we show that both the stores and the successes of LCC computations can be characterized in intuitionistic linear logic. We illustrate the ... [Show full abstract] usefulness of these results by showing with examples how the phase semantics of linear logic can be used to give simple "semantical" proofs of safety properties of LCC programs. Contents 1 Introduction 2 2 CC operational semantics 4 2.1 CC . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.2 Linear CC . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 2.2.1 Syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 2.2.2 Translation from CC to LCC . . . . . . . . . . . . . . . . . . . . . . . . ....