this paper presents an advanced organizer called SmartTag as a solution to ease the effort in identifying relevant messages in asynchronous discussion forums. SmartTag includes two tools for solving the problem: first...
详细信息
ISBN:
(纸本)0769523382
this paper presents an advanced organizer called SmartTag as a solution to ease the effort in identifying relevant messages in asynchronous discussion forums. SmartTag includes two tools for solving the problem: first, a message organizer for tagging relevant messages for future references, and second, a message filter that computationally evaluates the relevance of new messages for a user based on the personal preferences of this and other users. SmartTag employs techniques in statistical text analysis, recommender systems and collaborative filtering.
the paper analyzes the practical applicability of the novel Synchronization Complexity metric (SCM) introduced by the authors in [14]. this metric characterizes complexity of a program based on the kind and amount of ...
详细信息
ISBN:
(纸本)9780769543796
the paper analyzes the practical applicability of the novel Synchronization Complexity metric (SCM) introduced by the authors in [14]. this metric characterizes complexity of a program based on the kind and amount of means used for synchronization between its concurrent components. the metric is evaluated with respect to the soundness properties introduced by Weyuker [13] and software measurement scales considered by Zuse [15]. the growth of SCM for real-world applications is also analyzed. the analysis shows that SCM is a useful practical instrument for evaluation of complex softwaresystems. In particular, SCM allows for assessment of the amount of tests needed to achieve a proper coverage in testing of a concurrent program. It also enables comparison between different implementations of a system based on their synchronization complexity.
We present the application of the formal specification language RT-Z, an integration of the model-based specification language Z and the real-time process algebra timed CSP, in the area of safety-critical systems. the...
详细信息
ISBN:
(纸本)3540672613
We present the application of the formal specification language RT-Z, an integration of the model-based specification language Z and the real-time process algebra timed CSP, in the area of safety-critical systems. the characteristics underlying the development of safety-critical systems are identified, and criteria for specification languages to be used in this area are derived. It is demonstrated by means of a case study that RT-Z satisfies these criteria.
In recent years, IoT and machine learning solutions have garnered immense popularity withthe rise of industry 4.0. It is extremely important to document system requirements to deliver solutions that meet customer dem...
详细信息
this paper describes an analysis of some of the challenges facing one portion of the Electrical Smart Grid in the United States-residential Demand Response (DR) systems. the purposes of this paper are twofold: 1) to d...
详细信息
ISBN:
(纸本)9781450304450
this paper describes an analysis of some of the challenges facing one portion of the Electrical Smart Grid in the United States-residential Demand Response (DR) systems. the purposes of this paper are twofold: 1) to discover risks to residential DR systems and 2) to illustrate an architecture-based analysis approach to uncovering risks that span a collection of technical and social concerns. the results presented here are specific to residential DR but the approach is general and it could be applied to other systems within the Smart Grid and to other critical infrastructure domains. Our architecture-based analysis is different from most other approaches to analyzing complex systems in that it addresses multiple quality attributes simultaneously (e. g., performance, reliability, security, modifiability, usability, etc.) and it considers the architecture of a complex system from a socio-technical perspective where the actions of the people in the system are as important, from an analysis perspective, as the physical and computational elements of the system. this analysis can be done early in a system's lifetime, before substantial resources have been committed to its construction or procurement, and so it provides extremely cost-effective risk analysis.
A command and control application developed at IET has recently gone a major architectural change, to use a blackboard framework. As opposed to many blackboard-based applications, in which the blackboard model is used...
详细信息
ISBN:
(纸本)0818681365
A command and control application developed at IET has recently gone a major architectural change, to use a blackboard framework. As opposed to many blackboard-based applications, in which the blackboard model is used to model only the top level of the application, we developed a blackboard framework that fractal-like: the blackboard paradigm serves as the abstraction for all levels, recursively. We have also achieved maximal separation among the different blackboard-based elements at the various levels. this implies having small disconnected components which are flexible and reusable, and which together form the application. In this paper we present our fractal blackboard framework, and discuss interesting issues related to its design and usage.
software testing is crucial for ensuring software quality, including security. this research presents a case study examining manual and open-source tool-based security testing of an e-commerce website. By applying var...
详细信息
In distributed redundant-resource systems such as communication networks with multiple paths between nodes, there is a choice in allocating resources to tasks;this can be used for fault-tolerance, but also in order to...
详细信息
ISBN:
(纸本)0818681365
In distributed redundant-resource systems such as communication networks with multiple paths between nodes, there is a choice in allocating resources to tasks;this can be used for fault-tolerance, but also in order to improve performance. the allocation, however is complicated by the fact that system state is not known and changes dynamically. Exploiting redundancy by partitioning a message into several submessages and sending them along with several ''redundant'' submessages along different paths, as is done by dispersal schemes, increases the load, reduces capacity and even increases delay at permissible heavy loads. We present and analyze novel ''prioritized dispersal'' schemes, whereby ''redundant'' submessages receive lower priority than the ''original'' submessages, and show their performance to substantially exceed that of non-prioritized schemes. this extends the beneficial applicability of selective exploitation of redundancy, whose benefits for centralized systems have been established, to distributed systems.
softwareengineering (SE) and human-computer interaction (HCI) are often regarded as two separate entities while the fact is the two share many similarities and should affect each other to produce a better product or ...
详细信息
暂无评论