This paper presents technical foundation, roadmap and initial results of the IDIOM project (Information Diffusion across Interactive Online Media). Information spreads rapidly across Web sites, Web logs and online for...
详细信息
This paper presents a new topological localization system for mobile robot navigation based on salient visual regions. These salient regions are obtained by computing the opponencies of color and texture among multi-s...
详细信息
The Capability Maturity Model (CMM) from the softwareengineering Institute has been used successfully by many organizations for software Process Improvement (SPI). Despite its great success, there exists a disconnect...
详细信息
This paper discusses the implementation of the real-time processes of real-time process algebra (RTPA) using real-time Java. The difficulty in implementing real-time software from formal specifications comes from the ...
详细信息
This paper discusses the implementation of the real-time processes of real-time process algebra (RTPA) using real-time Java. The difficulty in implementing real-time software from formal specifications comes from the fact that some realtime features expressed using a formal specification language cannot be easily transformed into a programming language. The paper shows how a combination of a real-time support library for RTPA (RTPASupportLib) and the recently developed extensions to real-time Java can overcome some of these difficulties. The strategies and techniques employed in implementing RTPA real-time features such as concurrency, interleaving, and interrupt/event/time-driven dispatching of real-time processes are presented. A number of case studies on the implementation of RTPA real-time features show that the approach is a feasible one
Real-time process algebra (RTPA) is a set of mathematical notations for rigorous system specification. The RTPA notation has a structure comprising of operands, primitive types, abstract data types, control logic, and...
详细信息
Real-time process algebra (RTPA) is a set of mathematical notations for rigorous system specification. The RTPA notation has a structure comprising of operands, primitive types, abstract data types, control logic, and relationships. It is capable to effectively capture a system design in terms of its architecture, static behaviors, and dynamic behaviors. However, the preferred approach to codify system definition is through visualization in the form of UML. Although UML has expressive graphical constructs that is easily understood, it is generally viewed as being informal. This paper proposes an automatic transformation between UML and RTPA. A transformation template is in the form of an UML profile to be used in the design of a system, which is an extension mechanism that allows specialization of the UML for a particular domain. The approach is based upon understanding RTPA and UML constructs and proceeds to identify, characterize, and rank semantic relationships in order to construct an optimal translation. The semantic relationship refers to the distance between RTPA and UML constructs and uses a linguistic distance measure that is reliable and sufficient for determining correspondence. Ultimately, the transformation template becomes a schema to transform UML system models into RTPA notation
Constraints of softwareengineering are inherent by its intangibility, complexity, and diversity. A comprehensive set of 14 basic constraints of softwareengineering are identified in this paper, which can be classifi...
详细信息
Constraints of softwareengineering are inherent by its intangibility, complexity, and diversity. A comprehensive set of 14 basic constraints of softwareengineering are identified in this paper, which can be classified into three categories known as the cognitive, organizational, and resource constraints. The relationships between the three categories of basic constraints of softwareengineering can be described by the softwareengineering constraint model (SECM). A set of 31 fundamental principles for softwareengineering as the key measures for coping with the basic constraints is identified. A mapping between the softwareengineering constraints and measures is developed, which can be used as a guideline for allocating certain softwareengineering methodologies for coping with a given problem in a softwareengineering projects
Despite the rich depository of empirical knowledge on programming and softwareengineering, the theoretical model of programs is still unknown. This paper presents an embedded relational model (ERM) for describing the...
详细信息
Despite the rich depository of empirical knowledge on programming and softwareengineering, the theoretical model of programs is still unknown. This paper presents an embedded relational model (ERM) for describing the nature of programs. ERM provides a unified mathematical treatment of programs, which reveals that a program is a large and finite set of embedded binary relations between a given current statement and all previous ones that formed the semantic context or environment of computing. According to the ERM model, a program is a composed listing and a logical combination of multiple statements according to certain composing rules. A set of 17 meta statements and a set of 17 compositional relations in computing are elicited in real-time process algebra (RTPA). Based on the ERM model, a set of mathematical laws of programming is formally established
This paper describes the formal specification of the time management subsystem of a real-time operating system. Real-time process algebra (RTPA) is adopted to formally specify the system. The architecture, static beha...
详细信息
This paper describes the formal specification of the time management subsystem of a real-time operating system. Real-time process algebra (RTPA) is adopted to formally specify the system. The architecture, static behaviors, and dynamic behaviors of a CPU time manager are systematically specified that form an abstract model of the system. The formal specifications are implemented in C, on which the system performance can be tested and verified
In this paper, we examine some of the challenges concerning error correction and multi-hop communication in wireless sensor networks (WSNs). We consider Bose, Chaudhuri and Hoquenghem (BCH) codes with different codewo...
详细信息
In this paper, we examine some of the challenges concerning error correction and multi-hop communication in wireless sensor networks (WSNs). We consider Bose, Chaudhuri and Hoquenghem (BCH) codes with different codeword lengths and error correction capabilities. In contrast with previous works, that implement coding algorithm in hardware and consequently used hardware energy profiling, in this work we consider a more realistic assumption that the node's mu-processor performs coding and energy consumption of decoding is measured using JouleTrack. Energy efficiency is used as the performance metric for communication and the interaction of multi-hop communication and coding is investigated. Simulation results show that communicating long packets is more energy efficient. If communication is multi-hop with sufficient number of hops, then, the uncoded system is beneficial. However, coding is inevitable in the case where intermediate nodes, when needed, are not available
暂无评论