44831800
Formal Collaborative Production Environment
6704782
A uniform meta-model for mediating formal electronic conferences
Formal electronic conferences (FEC) refers to online meetings for a geographically distributed group of people that are regulated by a rigorous set of rules. FEC technologies enable organizations to replace face-to-face business meetings with trustworthy virtual online meetings. In This work we present a Robert's rules of order (RRO)-compatible, motion-driven discussion-thread-centered meta-model, which is capable of uniformly modeling formal electronic conference activities. A tailored computerized mechanism, the collaboration description language (CODL) and its runtime environment, is also developed to formalize the model. The CODL virtual machine adds a layer of encapsulation that decouples FEC applications from underlying platforms: therefore, the development of FEC applications will become more reliable, efficient, and secure. Our preliminary experience with this meta-model is also reported.
43825190
Temporal Relations and Synchronization Agents
Temporal relationships, inevitable among distributed multimedia objects, require synchronization of multiple data streams in time. We propose using synchronization agents as "smart" distributed objects to deal with scheduling, integrating, and synchronizing distributed multimedia streams. A formal specification model, interoperable Petri nets, describes the agents' behavior and captures the temporal semantics existing among distributed multimedia objects.
14948724
Joint software research between industry and academia
A model for industry-sponsored academic software research tha helps the sponsor gain tangible results quickly but respects the university's research mission is presented. Central to the model is joint effort to achieve a win-win situation for all participants. The key is the relationship between the university's principal investigator and the company's visiting scholar. The principal investigator initiates research contracts and is responsible for research results but, because he or she is an academic, may not have an industrial perspective. The company dispatches a technical representative, called the visiting scholar, to participate directly in the daily research. A research structure, relations with the sponsoring company, issues regarding environmental compatibility and funding amount and duration, and a reporting structure are all spelled out in the model. Legal recommendations are made with respect to confidentiality, copyrights and patents, export controls, and other issues. Other considerations that arise when writing a research contract are discussed.<<ETX>>
553852
Creating a distributed environment using object oriented technology
The paper gives a detailed description of the development of a distributed environment. A brief description of an object oriented technology used in the development of the environment is also presented. The environment described is suitable for rapid prototyping of distributed applications and complete development of distributed software systems. This environment was used in the development of client/server applications and the simulation of a cellular system. The cellular system featured Call-Handoff Cell-spitting and the dynamic allocation of cellular phones in the system.
30575380
Modeling a real-time multitasking system in a timed PQ net
A system is described that integrates timed Petri nets and queueing networks to model complex, real-time systems. It includes a graphical modeling tool, called TPQN, a textual specification language, called TPQL, and a simulator, called TPQS. TPQN's capabilities are illustrated by a performance analysis of a real-time, multitasking scheduler that had been previously implemented on top of SunOS on a Sun-3 workstation. A simulation package has been developed for TPQN that allows the behavior of various complicated systems under a designated queueing network topology to be studied before the system is implemented.<<ETX>>
8941164
Supporting agent-based distributed software development through modeling and simulation
In today's software engineering environment, it is becoming increasingly commonplace for team members and stakeholders to be distributed in multiple locations and time zones. Under these circumstances, the coordination of software development activities becomes increasingly more complex. One solution uses mobile agent-based tools to support collaborative software engineering tasks, such as requirements management. Despite the fact that development and validation of such tools would be facilitated by the use of modeling and simulation, very little work relating formal methods to agent-based system development has been performed. This paper therefore presents a hierarchical colored Petri Net (CPN) model as a formal framework for agent-based distributed software development, and demonstrates its usefulness by applying the framework to the development of a requirements management system.
5051365
Promising Approach to Distributed Query Processing
12151320
Mining Periodic Patterns in Sequence Data
Periodic pattern mining is the problem that regards temporal regularity. There are many emerging applications in periodic pattern mining, including web usage recommendation, weather prediction, computer networks and biological data. In this paper, we propose a Progressive Timelist-Based Verification (PTV) method to the mining of periodic patterns from a sequence of event sets. The parameter min_rep, is employed to specify the minimum number of repetitions required for a valid segment of non-disrupted pattern occurrences. We also describe a partitioning approach to handle extra large/long data sequence. The experiments demonstrate good performance and scalability with large frequent patterns.
40684547
Supporting event based traceability through high-level recognition of change events
Although requirements traceability is crucial in both the development and maintenance of a software system, traceability links and related artifacts tend to deteriorate, as time-pressured practitioners fail to systematically update them in response to change. Event-based traceability addresses this issue by establishing links through a loosely coupled publisher/subscriber scheme. Dependent entities subscribe to requirements and receive event notifications as changes occur. This paper focuses upon the role played by the requirements specification as a publisher of events. A set of standard change events is defined and a method for monitoring a user's actions within a requirements management environment and the subsequent recognition and publication of the change events is proposed. Early results obtained from testing this approach are reported.
1786671
Light field compression using disparity-compensated lifting and shape adaptation
We propose disparity-compensated lifting for wavelet compression of light fields. With this approach, we obtain the benefits of wavelet coding, such as scalability in all dimensions, as well as superior compression performance. Additionally, the proposed approach solves the irreversibility limitations of previous light field wavelet coding approaches, using the lifting structure. Our scheme incorporates disparity compensation into the lifting structure for the transform across the views in the light field data set. Another transform is performed to exploit the coherence among neighboring pixels, followed by a modified SPIHT coder and rate-distortion optimized bitstream assembly. A view-sequencing algorithm is developed to organize the views for encoding. For light fields of an object, we propose to use shape adaptation to improve the compression efficiency and visual quality of the images. The necessary shape information is efficiently coded based on prediction from the existing geometry model. Experimental results show that the proposed scheme exhibits superior compression performance over existing light field compression techniques.