ing Process-to-Function Relations in Concurrent Object-Oriented Applications ? Cristina Videira Lopes ?? , Karl J. Lieberherr College of Computer Science Northeastern University Cullinane Hall Boston, MA 02115, USA email: fcrista, [email protected] Abstract. This paper presents a programming model for concurrent object-oriented applications by which concurrency issues are abstracted and separ...

PURPOSE To explore whether patterns of sexual relationships, such as sequential (nonoverlapping in time) or concurrent (overlapping in time), are more important indicators of sexually transmitted disease (STD) risk among adolescents than number of sexual partners. METHODS Data from 4,707 sexually active adolescents from the National Longitudinal Study of Adolescent Health were analyzed based ...

Concurrent pattern calculus drives interaction between processes by unifying patterns, just as sequential pattern calculus drives computation by matching a pattern against a data structure. By generalising from pattern matching to unification, interaction becomes symmetrical, with information flowing in both directions. This provides a natural language for describing any form of exchange or tra...

In this article we propose a basic set of concurrency abstractions for Concurrent Haskell based on our experiences with various applications. These abstractions serve as templates for patterns recurring in concurrent program development. Especially for threads depending on each other, high-level constructs allow monitoring of a set of child threads and taking actions in case a vital component t...

It is crucial to ensure correct process model executions. However, existing process testing approaches struggle with the verification of concurrent resource access patters that can lead to concurrency faults, such as, deadlocks or data corruption during runtime. Thus, we provide a concurrency verification approach that exploits recorded executions to verify the most frequently occurring concurr...

This position paper suggests an approach for building software systems using patterns, right from business architecture to software architecture. Further, the approach incorporates a concurrent and iterative development process to ensure that the business architecture and software architecture are aligned, end to end. Usage of patterns leads to reuse of various artifacts, involved in the softwa...