Concurrent systems maintain a distributed state and thus require coordination and synchronization between components to ensure consistency. To provide a coherent design approach to concurrent systems, recent work has employed an object-based methodology which emphasizes interactions through well-de ned interfaces. The Actor model has provided formal reasoning about distributed object systems. N...

Starting from some general considerations, we will outline different kinds of patterns that can impact the creation of the task model. We will then introduce a 4-part “strategy” about the process of pattern application followed by an analysis about what a formal notation for patterns for the task model should encapsulate. In particular, we discuss the fundamental concepts underlying a generic n...

brain death is defined as the permanent, irreversible and concurrent loss of all brain and brain stem functions. brain death diagnosis is based on clinical criteria and it is not routine to use paraclinical studies. in some countries, electroencephalogram (eeg) is performed in all patients for the determination of brain death while there is some skepticism in relying on eeg as a confirmatory te...

retinoblastoma is the most common intraocular neoplasm in children. glial tumor of the retina and optic nerve head are considered to be congenital and are therefore classified as hamartomas. concurrent occurrence of these tumors in one eye is uncommon and by reviewing the studies, a few cases have been reported. we report a 9 years old boy with eye enucleation and concurrent occurrence of retin...

Previous studies have shown that concurrent vowel identification improves with increasing temporal onset asynchrony of the vowels, even if the vowels have the same fundamental frequency. The current study investigated the possible underlying neural processing involved in concurrent vowel perception. The individual vowel stimuli from a previously published study were used as inputs for a phenome...

A. Yonezawa. ABCL/onEM-4: a new software/hardware architecture for object-oriented concurrent computing on an extended data-flow computer. In

This paper gives a Concurrent Transaction Logic (CT R)based formal model for Weakly-structured Scientific Workflows (WsSWFs) and further implements it in an open source rule language Prova. Compared with the related efforts, the formal model in this paper focuses on conversation-based reactive workflow logic representation and event-driven computation of complex event patterns.