Story telling is a process of conveying events by words, images and sounds. It has been used in every culture as a means of entertainment, education or for instilling moral values. The power of story telling has now b...
详细信息
A combinational module for scattered pattern matching tests whether the digits of a given pattern occur in the proper order and multiplicity within a given search string. We present a unifying high-level synthesis of ...
详细信息
Predicate dispatching is a generalized form of dynamic dispatch, which has strong limitations when arbitrary predicates of the underlying base language are used. Unlike classes, which enforce subset relationships betw...
详细信息
Pervasive computing in mobile ad hoc networks requires that applications query their network environment for services and react to a plethora of events fired by other devices in that network responding to such queries...
详细信息
ISBN:
(纸本)9781605583648
Pervasive computing in mobile ad hoc networks requires that applications query their network environment for services and react to a plethora of events fired by other devices in that network responding to such queries. Current context-aware and event-driven architectures require the programmer to react to these events via a carefully crafted network of observers and event handlers, while inherently introducing complex concurrency issues. This paper proposes the integration of two techniques to solve these problems: ambient references and reactive programming. Ambient references are object-oriented communication abstractions that represent nearby remote objects in the mobile network and that make it possible to generate the events mentioned above. The reactive programming paradigm provides an abstraction over events such that the application can be written in a conventional programming style with explicit control flow. Copyright 2008 ACM.
In this paper, we show how elaborate support for framework-based software development can be provided based on explicit documentation of the hot spots of object-oriented application frameworks. This support ranges fro...
详细信息
An almost synchronous stream consists of a sequence of proper messages and pauses transmitted over a directed channel. The paper presents the transformational design of a communicating component which coordinates two ...
详细信息
We model a sequential memory component in the setting of stream processing functions. The component's internal state is systematically introduced as an abstraction of the input history. We describe different model...
详细信息
A sequential memory component stores and retrieves data in addressable locations. A fault tolerant implementation suspends read commands to locations without a prior assignment until data becomes available at the requ...
详细信息
ISBN:
(纸本)9781604232356
A sequential memory component stores and retrieves data in addressable locations. A fault tolerant implementation suspends read commands to locations without a prior assignment until data becomes available at the requested location. The paper studies the systematic top-down design of a fault tolerant sequential memory component in the setting of stream functions and state transition machines. We formally refine the communication-oriented input/output behaviour into a state-based implementation. The transformation employs a history abstraction function which extracts the component's internal state from the input history. Beyond the particular case study, we explicate generally applicable formal methods for the functional specification and systematic design of interactive components in distributed systems with asynchronous communication.
Extensions to the actor model have been proposed to ease the development of mobile ad hoc applications. However, programming in the actor model is still difficult as it does not provide abstractions to synchronously c...
详细信息
ISBN:
(纸本)9781605583648
Extensions to the actor model have been proposed to ease the development of mobile ad hoc applications. However, programming in the actor model is still difficult as it does not provide abstractions to synchronously coordinate multiple actors. Thus, when programmers want to coordinate two or more actors they have to do it by hand. Additionally, programmers need to write failure recovery code for failures caused by the concurrent access to the actors they are using. Coding this manually is error prone and might even be not feasible. We propose a language abstraction based on software transactional memory to coordinate actors. We show that the integration of software transactional memory with the actor model makes writing failure recovery code superuous. Moreover, we show that our system even handles those cases where manually writing the failure recovery code is not feasible. Copyright 2008 ACM.
A context-aware system needs to reason about its current context of use and select applicable adaptations to activate or deactivate. This process is complex as often multiple contexts are available and improper interp...
详细信息
暂无评论