The goal of this paper is to introduce the description logic ALCRP(D). This logic is based on the DL ALCRP(D) extended by a ternary role-forming predicate operator and by inverse roles. In order to be able to define a compositional semantics for ALCRP(D), which supports n-ary relations, we introduce a DLR-style syntax. For simplicity and from the viewpoint of the applicability in practice, only...

W ith recent developments in compilation technology and architectural design, the line between traditional hardware and software roles has become increasingly blurred. The compiler can now see the processor's inner structure, which lets architects exploit sophisticated program analysis techniques to hide branch and memory access delays, for example. Processors can now implement register renamin...

Model-based user interface development is grounded on the idea to utilize models at design time to derive user interfaces from the modeled information. There is however an increasing demand for user interfaces that adapt to the context of use at runtime. The shift from design time to runtime means, that different design decisions are postponed until runtime. Utilizing user interface models at r...

The LogicGuard specification language for the runtime monitoring of event steams represents monitors as predicate logic formulas of a certain kind. In this paper we derive upper bounds for the runtime representation size of a LogicGuard monitor specification under the assumption that in these formulas quantifiers can be arbitrarily nested, but in the body of each quantifier there is at most one...

the purpose of this study was to investigate the problems of methodologicalresearch program in the history of political thought appearing valuationmethodologies. the claim is that the principles and methodology of the researchprogram evaluate the formation, expansion, and development of methodologies inthe area of knowledge. in contrast, this article argues that the research program isnot suffi...

Traditional schemes for abstract interpretation-based global analysis of logic programs generally focus on obtaining procedure argument mode and type information. Variable sharing information is often given only the attention needed to preserve the correctness of the analysis. However, such sharing information can be very useful. In particular, it can be used for predicting runtime goal indepen...

The JAMUS platform is dedicated to providing a safe runtime environment for untrusted Java application programs, while offering each of these programs access to the resources it needs to use at runtime. To achieve this goal, JAMUS implements a contractual approach of resource utilisation and control, together with a reservation-based resource management scheme, and a monitoring model. When gett...

Runtime verification is a formal technique used to check whether a program under inspection satisfies its specification by using a runtime monitor. Existing monitoring approaches use one of two ways for evaluating a set of logical properties: (1) event-triggered, where the program invokes the monitor when the state of the program changes, and (2) time-triggered, where the monitor periodically p...

Runtime monitoring is an important technique for catching failures. This work shows how to synthesize hardware runtime monitors using High-Level Synthesis to check system requirements that are formalized and expressed in Signal Temporal Logic. We describe our flow starting from a natural language requirement to hardware implementation. As a case study, we apply our flow to monitor a mission-cri...

Schema-based transformational systems maintain a library of logic program schemata which capture large classes of logic programs. One of the shortcomings of schema-based transformation approaches is their reliance on a large (possibly incomplete) set of logic program schemata that is required in order to capture all of the minor syntactic differences between semantically similar logic programs....