Over a decade after RDF has been published as a W3C recommendation, publishing open and machine-readable content on the Web has recently received a lot more attention, including from corporate and governmental bodies; notably thanks to the Linked Open Data community, there now exists a rich vein of heterogeneous RDF data published on the Web (the so-called \Web of Data") accessible to all. Howe...

INTRODUCTION ................................................................................... 426 I. THE INTERNET AND NAVAJO CULTURAL ADAPTABILITY ... 428 II. ADVANCED TELECOMMUNICATIONS SERVICES: UNDERSTANDING FEDERAL TELECOMMUNICATIONS AND INFORMATION LAW IN THE NAVAJO CONTEXT .......... 433 A. The Communications Act of 1934 .......................................... 434 B. The 1996 Act an...

Model transformations are the core of the MDA approach to software development. As specified by the OMG, model transformations should act on any kind of model of any kind of metamodel, which implies the possible “reflective” use of model transformations, i.e., model transformations acting on model transformations. However, this requires transformation developers to be familiar with the metamode...

The core methodology of the Highway Capacity Manual (HCM) 2010 for freeway analyses is based on Free-Flow Speed (FFS). Moreover, weaving segments are major elements of freeway facilities that form where two one-way traffic streams intersect by merging and diverging maneuvers. Hence, this study used three different methods to compute FFS of a ramp-weaving segment, and then employed the proposed ...

1. The effects of betahistine 72 mg three times daily, prochlorperazine 5 mg three times daily and placebo taken for 3 days before testing were compared on two actual driving tasks (weaving and gap estimation) and two psychomotor tasks (reaction time and kinetic visual acuity) in normal subjects in a double-blind prospectively randomised cross-over study. 2. The psychomotor effects of betahisti...

The verification of Java programs is a difficult task, especially with components like the Security Manager which modify the semantic of the Java Virtual Machine (JVM). To model this invasive behaviour the Security Manager can be implemented as an aspect component, using AspectJ. In this paper we describe a framework for static verification of Java programs containing AspectJ advices specified ...

Process algebras are proposed as a foundation for aspectoriented programming. A particular process algebra is described, and programs illustrating its use in programming are given. It is argued that the framework clarifies the notion of equivalence between programs and correctness of aspect-weaving algorithms. The question of which notion of equivalence is most appropriate is discussed from the...

Based on a general model of feature composition, we present a composition language that enables programmers by means of quantification and weaving to formulate extensions to programs written in different languages. We explore the design space of composition languages that rely on quantification and weaving and discuss our choices. We outline a tool that extends an existing infrastructure for fe...

In aspect-oriented modeling at early stages of the software development, model descriptions with various abstraction levels are involved so that two kinds of model transformation, refinement as well as weaving, should be considered. We adapt a role-based aspect-oriented modeling method and define a notion of aspect weaving as role merging. We further adapt Alloy, a lightweight formal specificat...