Abstract. We propose an model-based approach to address safety and security assessment of a system architecture. We present an integrated process where sys-tem engineers design the model of the system architecture, safety and security engineers specify the propagation of failures and attacks inside

with the detection and management ofinterference between viewpoints. Viewpoint-based Environments should also support the cooperation of multiple developers and maintain development histories in terms of multiple viewpoint versions. We brie y sketch an architecture for suchenvironments and outline a research agenda

This paper presents an algorithm for viewpointbased similarity discernment of linguistic concepts on Semantic Network Array Processor (SNAP). The viewpoint-based similarity discernment plays a key role in retrieving similar propositions. This is useful for advanced knowledge processing areas

Abstract. The use of multiple partial viewpoints is recommended for specification. We believe they also can be useful for devising strategies for testing. In this paper, we use Object-Z to formally specify concurrent Java components from viewpoints based on the separation of application

Dedicated to:

mutually independent and can be addressed sequentially. We argue- in analogy to other engineering disciplines- that this assumption is too restrictive. To facilitate the creation of models that simultaneously express multiple stakeholder concerns, we propose an approach which systematically elicits

Distributed computing systems are being built and used more and more frequently. This distributod computing revolution makes the reliability of distributed systems an important concern. It is fairly well-understood how to connect hardware so that most components can continue to work when others are broken, and thus increase the reliability of a system as a whole. This report addressos the issue of providing software for reliable distributed systems. In particular, we examine how to program a system so that the software continues to work in tho face of a variety of failures of parts of the system. The design presented

In this paper we present a "routine activity approach " for analyzing crime rate trends and cycles. Rather than emphasizing the characteristics of offenders, with this approach we concentrate upon the circumstances in which they carry out predatory criminal acts. Most criminal acts

In this paper we propose a new approach for constructing efficient schemes for nonsmooth convex optimization. It is based on a special smoothing technique, which can be applied to the functions with explicit max-structure. Our approach can be considered as an alternative to black-box minimization

class of erasure codes that for large block sizes are orders of magnitude faster than standard erasure codes. We provide performance measurements that demonstrate the feasibility of our approach and discuss the design, implementation and performance of an experimental system.