MODEL CONCRETE MODEL UID with integration points + SIG template for Accessibility 1

Linearizability of concurrent data structures is usually proved by monolithic simulation arguments relying on identifying the so-called linearization points. Regrettably, such proofs, whether manual or automatic, are often complicated and scale poorly to advanced non-blocking concurrency patterns, such as helping and optimistic updates. In response, we propose a more modular way of checking lin...

Software engineers of multi-agent systems (MASs) are faced with the design and implementation of the mobility concern in addition to the agents’ basic functionalities and other agent-related concerns. As the agents’ complexity increases, the mobility concern cannot be modularized based only on object-oriented abstractions. The mobility concern tends to spread across several system classes and m...

We would like to argue that building aspect oriented operating systems is a potential technology needs and promising solutions that can make a significant impact on the way we deign and produce software in the coming future. At the same time, the open, unresolved issues on the basic architecture and design of aspect oriented operating systems puts such adventure beyond the scope of today's shor...

Aspect-oriented programming captures crosscutting concerns by introducing the aspect modularity construct. While most of the aspects presented to date result from domainand modeling-related crosscutting, we show how aspect-oriented programming can further assist the software development process. Through various examples we study the use of aspectoriented methods in third-party system integration.

The starred for-adverbial in (1a) reflects standard judgments: in the presence of a DP direct object like a cake—which following terminology by Borer (2005) is referred to here as a Q(uantity)-DP— with an incremental theme verb like eat, the VP is telic. In contrast, in (1b), with a mass noun direct object like cake—referred to here as a non-Q-DP—the VP is atelic. Although these are the pattern...

There is evidence that a link exists between the upper and lower respiratory tracts. During the last fifty years many clinical observations has lead to a new pathogenic view of rhinosinusitis and asthma defined as Sinobronchial Syndrome. The inflammatory process in the nose and bronchi explains some of the complex interactions among different clinical diseases, such as rhinosinusitis, asthma, b...

The University Repository is a digital collection of the research output of the University, available on Open Access. Copyright and Moral Rights for the items on this site are retained by the individual author and/or other copyright owners. Users may access full items free of charge; copies of full text items generally can be reproduced, displayed or performed and given to third parties in any ...