Asynchronously Replicated Shared Workspaces for a Multi-Media Annotation Service over Internet

This paper describes a world wide collaboration system through multimedia Post-its (user generated annotations). DIANE is a service to create multimedia annotations to every application output on the computer, as well as to existing multimedia annotations. Users collaborate by registering multimedia documents and user generated annotation in shared workspaces. However, DIANE only allows effective participation in a shared workspace over a high performance network (ATM, fast Ethernet) since it deals with large multimedia object. When only slow or unreliable connections are available between a DIANE terminal and server, useful work becomes impossible. To overcome these restrictions we need to replicate DIANE servers so that users do not suffer degradation in the quality of service. We use the asynchronous replication service ODIN to replicate the shared workspaces to every interested site in a transparent way to users. ODIN provides a cost-effective object replication by building a dynamic virtual network over Internet. The topology of this virtual network optimizes the use of network resources while it satisfies the changing requirements of the users

An Annotation Scheme for Reichenbach's Verbal Tense Structure

In this paper we present RTMML, a markup language for the tenses of verbs and temporal relations between verbs. There is a richness to tense in language that is not fully captured by existing temporal annotation schemata. Following Reichenbach we present an analysis of tense in terms of abstract time points, with the aim of supporting automated processing of tense and temporal relations in language. This allows for precise reasoning about tense in documents, and the deduction of temporal relations between the times and verbal events in a discourse. We define the syntax of RTMML, and demonstrate the markup in a range of situations

Salmonella enterica Serovar Typhimurium 14028s Genomic Regions Required for Colonization of Lettuce Leaves.

Contamination of edible produce leaves with human bacterial pathogens has been associated with serious disease outbreaks and has become a major public health concern affecting all aspects of the market, from farmers to consumers. While pathogen populations residing on the surface of ready-to-eat produce can be potentially removed through thorough washing, there is no disinfection technology available that effectively eliminates internal bacterial populations. By screening 303 multi-gene deletion (MGD) mutants of Salmonella enterica serovar Typhimurium (STm) 14028s, we were able to identify ten genomic regions that play a role in opening the stomatal pore of lettuce leaves. The major metabolic functions of the deleted regions are associated with sensing the environment, bacterium movement, transport through the bacterial membrane, and biosynthesis of surface appendages. Interestingly, at 21 days post inoculation, seven of these mutants showed increased population titers inside the leaf, two mutants showed similar titers as the wild type bacterium, whereas one mutant with a large deletion that includes the Salmonella pathogenicity island 2 (SPI-2) showed significantly impaired persistence in the leaf apoplast. These findings suggest that not all the genomic regions required for initiation of leaf colonization (i.e., epiphytic behavior and tissue penetration) are essential for continuing bacterial survival as an endophyte. We also observed that mutants lacking either SPI-1 (Mut3) or SPI-2 (Mut9) induce callose deposition levels comparable to those of the wild type STm 14028s; therefore, these islands do not seem to affect this lettuce defense mechanism. However, the growth of Mut9, but not Mut3, was significantly impaired in the leaf apoplastic wash fluid (AWF) suggesting that the STm persistence in the apoplast may be linked to nutrient acquisition capabilities or overall bacterial fitness in this niche, which are dependent on the gene(s) deleted in the Mut9 strain. The genetic basis of STm colonization of leaves investigated in this study provides a foundation from which to develop mitigation tactics to enhance food safety

Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic

Autonomous critical systems, such as satellites and space rovers, must be able to detect the occurrence of faults in order to ensure correct operation. This task is carried out by Fault Detection and Identification (FDI) components, that are embedded in those systems and are in charge of detecting faults in an automated and timely manner by reading data from sensors and triggering predefined alarms. The design of effective FDI components is an extremely hard problem, also due to the lack of a complete theoretical foundation, and of precise specification and validation techniques. In this paper, we present the first formal approach to the design of FDI components for discrete event systems, both in a synchronous and asynchronous setting. We propose a logical language for the specification of FDI requirements that accounts for a wide class of practical cases, and includes novel aspects such as maximality and trace-diagnosability. The language is equipped with a clear semantics based on temporal epistemic logic, and is proved to enjoy suitable properties. We discuss how to validate the requirements and how to verify that a given FDI component satisfies them. We propose an algorithm for the synthesis of correct-by-construction FDI components, and report on the applicability of the design approach on an industrial case-study coming from aerospace.Comment: 33 pages, 20 figure

Monitoring-Oriented Programming: A Tool-Supported Methodology for Higher Quality Object-Oriented Software

This paper presents a tool-supported methodological paradigm for object-oriented software development, called monitoring-oriented programming and abbreviated MOP, in which runtime monitoring is a basic software design principle. The general idea underlying MOP is that software developers insert specifications in their code via annotations. Actual monitoring code is automatically synthesized from these annotations before compilation and integrated at appropriate places in the program, according to user-defined configuration attributes. This way, the specification is checked at runtime against the implementation. Moreover, violations and/or validations of specifications can trigger user-defined code at any points in the program, in particular recovery code, outputting or sending messages, or raising exceptions. The MOP paradigm does not promote or enforce any specific formalism to specify requirements: it allows the users to plug-in their favorite or domain-specific specification formalisms via logic plug-in modules. There are two major technical challenges that MOP supporting tools unavoidably face: monitor synthesis and monitor integration. The former is heavily dependent on the specification formalism and comes as part of the corresponding logic plug-in, while the latter is uniform for all specification formalisms and depends only on the target programming language. An experimental prototype tool, called Java-MOP, is also discussed, which currently supports most but not all of the desired MOP features. MOP aims at reducing the gap between formal specification and implementation, by integrating the two and allowing them together to form a system

Forest land management by satellite: LANDSAT-derived information as input to a forest inventory system

The author has identified the following significant results. Analysis of LANDSAT temporal data, specifically the digitally merged winter and summer scenes, provided the best overall classification results. Comparison of temporal classification results with available ground truth reveal a 94% agreement in the delineation of hardwood categories, a 96% agreement for the combined pine category, and a greater than 50% agreement for each individual pine subcategory. For nearly 1000 acres, compared clearcut acreage estimated with LANDSAT digital data differed from company inventory records by only 3%. Through analysis of summer data, pine stands were successfully classified into subcategories based upon the extent of crown closure. Maximum spectral separability of hardwood and pine stands was obtained from the analysis of winter data