In the context of Network management, Chomicki, Lobo and Naqvi have defined the specification language Policy Description Language (PDL) and later extended it by introducing monitors: constraints on the actions that t...
详细信息
ISBN:
(纸本)0769522653
In the context of Network management, Chomicki, Lobo and Naqvi have defined the specification language Policy Description Language (PDL) and later extended it by introducing monitors: constraints on the actions that the network manager can execute simultaneously. This article proposes PPDL, an extension of PDL with Preferences, that allows the specification of user-defined preferences on how to apply monitors. The new language adopts Brewka's approach to preferences introducing the "x" ordered disjunction connective. We illustrate the feature of PPDL in two interesting application examples: i) the specification of "separation of duties" constraints on user/role assignments in a workflow scenario and ii) an architecture for Web services selection. Since PPDL (as well as PDL) policy specifications can be computed by means of translation into Answer Set programs, we are able to provide an integrated framework based on answer set programming inferential engine.
This paper describes an attempt to increase the success of component development and component-based development (CBD). It recognises the geographically distributed nature that software development increasingly takes ...
详细信息
This paper describes an attempt to increase the success of component development and component-based development (CBD). It recognises the geographically distributed nature that software development increasingly takes and how this relates to CBD. The research synthesises recent work on component specification and implementation patterns, design patterns, and documentation patterns, which will be the basis for a future information model to be implemented using XML.
Increasingly, a number of applications rely on, or can potentially benefit from, analysis and monitoring of data streams. Moreover, many of these applications involve high volume data streams and require distributed p...
详细信息
ISBN:
(纸本)0780321754
Increasingly, a number of applications rely on, or can potentially benefit from, analysis and monitoring of data streams. Moreover, many of these applications involve high volume data streams and require distributed processing of data arising from a distributed set of sources. Thus, we believe that a grid environment is well suited for flexible and adaptive analysis of these streams. This paper reports the design and initial evaluation of a middleware for processing distributed data streams. Our system is referred to as GATES (Grid-based Adaptive Execution on Streams). This system is designed to use the existing grid standards and tools to the extent possible. It flexibly achieves the best accuracy that is possible while maintaining the real-time constraint on the analysis. We have developed a self-adaptation algorithm for this purpose. Results from a detailed evaluation of this system demonstrate the benefits of distributed processing, and the effectiveness of our self-adaptation algorithm.
Data pertinent to any one hospital patient are often distributed across several independent heterogeneous computersystems serving different functional areas of the hospital. A global, integrated hospital information ...
详细信息
Data pertinent to any one hospital patient are often distributed across several independent heterogeneous computersystems serving different functional areas of the hospital. A global, integrated hospital information system can evolve from this situation if existing computersystems are linked by a local area network and the systems are modified to employ a set of protocols that enable information exchange. This paper provides a high level description of the required protocol functions.
The paper presents Heterogeneous MPI (HMPI), an extension of MPI for programming high-performance computations on heterogeneous networks of computers. It allows the application programmer to describe the performance m...
详细信息
This paper presents a recovery protocol,for block I/O operations in Slice, a storage system architecture for highspeed LANs incorporating network-attached block storage. The goal of the Slice architecture is to provid...
详细信息
ISBN:
(纸本)0769507840
This paper presents a recovery protocol,for block I/O operations in Slice, a storage system architecture for highspeed LANs incorporating network-attached block storage. The goal of the Slice architecture is to provide a network file service with scalable bandwidth and capacity, while preserving compatibility with off-the-shelf clients and file sewer appliances. The Slice prototype "virtualizes" the Network File System (NFS) protocol by interposing a request switching filter at the client's interface to the network storage system (e.g., in a network adapter or switch). The distributed Slice architecture separates functions typically combined in central file servers, introducing new challenges for failure atomicity This paper presents a protocol for atomic file operations and recovery in the Slice architecture, and related support for reliable file storage using mirrored striping. Experimental results from the Slice prototype show that the protocol has low cost in the common case, allowing the system to deliver client file access bandwidths approaching gigabit-per second network speeds.
Autism Spectrum Disorder (ASD) is estimated to affect one in eighty-eight children and many mobile apps are available from Google Play or Apple store to help these children and their carer. Our research into apps for ...
详细信息
ISBN:
(纸本)9781479910533
Autism Spectrum Disorder (ASD) is estimated to affect one in eighty-eight children and many mobile apps are available from Google Play or Apple store to help these children and their carer. Our research into apps for autistic children identified that none of the apps use the full potential offered by mobile technology and sensors to overcome one of autistic children's main difficulty: the identification and expression of emotions. This paper describes a mobile app called CaptureMyEmotion that enables autistic children to take photos, videos or sounds, and at the same time senses their arousal level using a wireless sensor. It also allows the child to comment on their emotion at the time of capture. The app has the potential to help autistic children improve their emotions learning based on their own pictures, videos or sounds. It gives the carer a means to discuss the identification and expression of emotions.
We consider an Energy Packet Network (EPN) model where the service times of the packets follow a Coxian distribution. EPNs are a recent type of models proposed by Gelenbe and his colleagues to study the interactions b...
详细信息
ISBN:
(纸本)9781728192383
We consider an Energy Packet Network (EPN) model where the service times of the packets follow a Coxian distribution. EPNs are a recent type of models proposed by Gelenbe and his colleagues to study the interactions between energy consumption and the processing or the transmission of data. We prove that such a network has a product form solution for its steady-state distribution. We also state some sufficient conditions for the existence of the flow equations. Finally we study the performances and the energy consumption and we show how to optimize the assignemenl of. solar panels over a sensor network.
The proceedings contain 10 papers. The topics discussed include: a comprehensive rearranging priority based method to accelerate the reconstruction of RAID arrays;forkmon: monitoring the networks supporting bitcoin ha...
ISBN:
(纸本)0769567290
The proceedings contain 10 papers. The topics discussed include: a comprehensive rearranging priority based method to accelerate the reconstruction of RAID arrays;forkmon: monitoring the networks supporting bitcoin hard forks;on the impact of log compaction on incrementally checkpointing stateful stream-processing operators;enabling the efï¬ücient, dependable cloud-based storage of human genomes;pooled mining is driving blockchains toward centralized systems;and towards a uniï¬üed programming model for blockchain smart contract dapp systems.
Web-based social networks are emerging as the top applications on the Internet. With this immense popularity, many of the shortcomings of the current social network deployments are also coming to light. One of the gla...
详细信息
暂无评论