10801320
Rule-mitigated collaboration technology
The design of an appropriate paradigm for collaboration ultimately stands or falls on the question of whether human users are able to cooperate effectively with it. In this work, we begin with a paradigm of interaction in which human collaborators have shown themselves facile. This paradigm is based on the formal meeting protocol commonly known as parliamentary procedure or Robert's Rules of Order (RRO). These rules are at the same time descriptive and prescriptive of effective meeting behavior. Electronic meeting systems, likewise, have to manage time and communicative resources, maintain logs, and produce artifacts that constitute the fruit of the collaboration. The technology disclosed here facilitates the generation of coauthored artifacts (documents, designs, project plans, etc.) as the direct outcome of the collaborative process. The efficacy of rule-mitigated collaboration technology is based on four major components: an extended parliamentary procedure rule set, a scoping policy and set of application programming interfaces, an object-based client-server architecture, and an M-Net synchronous meeting environment.
15614662
Towards increasing web application productivity
In this paper we present and discuss a template/meta-data based partial code generation system supporting web application development. Seamlessly incorporating the recent top-notch technologies, the framework maximally exploits the capabilities of the underlying implementation technologies. Our approach primarily benefits the framework and code developers. In addition, the complete separation of data model, navigation model, and presentation model reflects on a more general conceptual process that would decouple the technique and methodology from its underlying technology choices. The decoupling between the generated code and the code that is necessarily added later on through other development pathways than the generator deals with the incremental changes and adaptations of the models in the face of an operational system, therefore further enhances the extensibility, maintainability, and reusability of the generated applications.
18643244
An Empirical Performance Study on PSIM
It is well known that errors caught in the early stages of system development life cycle greatly helped reduce the expense for later error fixing and mitigate risks and complications. Performance analysis is one of the methods to ensure satisfactory system performance that can avoid redesign and patch in the later stage of system development when performance problems emerge. Much work has been done to address such concerns collectively known as the 'performance engineering' problem. However, a comprehensive method is still needed to provide an end-to-end support for performance evaluation on software architecture design. Automated tools to support the method must be developed, and its validation must be carefully planned and conducted. In response to this need, we propose our approach, PSIM (performance simulation and modeling). PSIM is a performance simulation and modeling tool that integrated performance properties into software architecture specifications expressed in several major UML diagrams. PSIM models can be transformed into Colored GSPN (colored generalized stochastic Petri nets) via an automated tool. As a result, the Colored GSPN models can be simulated to perform model-based performance evaluation. In this paper PSIM is first briefly reviewed and illustrated through modeling a web-based electronic conferencing system, called M-Net, to derive performance metrics. We then conduct runtime performance testing to the implementation of M-Net and compare the simulation results against the runtime testing data. PSIM is shown to be effective in predicting system performance and in identifying system performance bottlenecks through this experimentation.
10317156
A research on Collaboration Net
We present research on computer-supported cooperative work by introducing an approach to the multimedia based net-centric conference environment-Collaboration Net. Some basic definitions of the distributed Web-based meeting are provided, and the properties of this kind of collaboration are given. We explain problems associated with the well-known yet old-fashioned parliamentary procedure, Robert's Rules of Order, which must be formally modeled and adapted to the modern net-centric virtual conference where time synchronism is hard to enforce. A prototype of our Web-browser based approach to developing the Collaboration Net is also briefly presented. Finally, research challenges in this area are highlighted.
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.
1871945
Specifications in software prototyping
Abstract We explore the use of software specifications for software prototyping. This paper describes a process model for software prototyping, and shows how specifications can be used to support such a process via a cellular mobile phone switch example.
35252145
Fast eigenspace decomposition of correlated images
We present a computationally efficient algorithm for the eigenspace decomposition of correlated images. Our approach is motivated by the fact that for a planar rotation of a two-dimensional (2-D) image, analytical expressions can be given for the eigendecomposition, based on the theory of circulant matrices. These analytical expressions turn out to be good first approximations of the eigendecomposition, even for three-dimensional (3-D) objects rotated about a single axis. In addition, the theory of circulant matrices yields good approximations to the eigendecomposition for images that result when objects are translated and scaled. We use these observations to automatically determine the dimension of the subspace required to represent an image with a guaranteed user-specified accuracy, as well as to quickly compute a basis for the subspace. Examples show that the algorithm performs very well on a number of test cases ranging from images of 3-D objects rotated about a single axis to arbitrary video sequences.
8773045
Characterizing and Exploiting Reference Locality in Data Stream Applications
In this paper, we investigate a new approach to process queries in data stream applications. We show that reference locality characteristics of data streams could be exploited in the design of superior and flexible data stream query processing techniques. We identify two different causes of reference locality: popularity over long time scales and temporal correlations over shorter time scales. An elegant mathematical model is shown to precisely quantify the degree of those sources of locality. Furthermore, we analyze the impact of locality-awareness on achievable performance gains over traditional algorithms on applications such asMAX-subset approximate sliding window join and approximate count estimation. In a comprehensive experimental study, we compare several existing algorithms against our locality-aware algorithms over a number of real datasets. The results validate the usefulness and efficiency of our approach.
9710130
A specification language for real-time distributed systems
The authors introduce a design specification method, extended modified Petri nets (EMPN), and its description language (EMPNDL). The specification is based on a stochastic Petri-net model and is suitable for modeling real-time distributed systems. The syntax of the language is formally described in BNF grammar while the semantics is based on that for stochastic Petric nets. In addition to the modeling capability of EMPN and EMPNDL, methods for verification and validation of such systems are also discussed. EMPN and EMPNDL have been extensively used to the specification of a prototype switching system, UICPBX. Based on the presented formulation, verification and validation of UICPBX can be automated to a great extent.<<ETX>>
18290622
Transport measurements on MOVPE-grown InN films
We have performed electrical transport measurements on InN films. Our results show that the electron transport in our InN films is metallic-like, that is, within the experimental error the carrier density is temperature-independent over a wide temperature range (4 K≤T≤290 K). At low temperatures, the resistivities of our InN devices appear to saturate and show gradual increase with increasing temperatures. We suggest that residue impurity scattering limits the electron mobility in InN films. We compare our results with existing theoretical models.
35042753
A Binary Single-Key-Lock System for Access Control
A binary coding method was invented and has been applied to the single-key-lock (SKL) system which achieves access control by associating with each accesser only one key and with each resource only one lock. The new system is called the binary single-key-lock (BSKL) system. In both the SKL and BSKL systems, through operations on the single-key-lock pair, the control information can be revealed. On the basis of the new binary coding method, and because binary operations are much faster, better performance for such an access control system can be achieved. The increased extensibility of the modification is also discussed. >