141 views117 votes15 years 7 months ago SEFM 2005»
The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for the development of ...
174 views111 votes15 years 7 months ago ICDCS 2007»
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...
132 views144 votes15 years 2 months ago FORTE 1994»
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
153 views123 votes14 years 11 months ago SIGCSE 2008»
We present the design and development of a Visual Learning Engine, a tool that can form the basis for interactive development of visually rich teaching and learning modules across...
Reconfigurable software is highly desired for automated machine tool control systems for low-cost products and short time to market. In this paper, we propose a software architectu...
119 views131 votes15 years 1 months ago DEDS 2002»
Abstract. Detection and isolation of failures in large and complex systems such as telecommunication networks are crucial and challenging tasks. The problem considered here is that...
The Tracker is one of the CMS (Compact Muon Solenoid experiment) detectors to be installed at the LHC (Large Hadron Collider) accelerator, scheduled to start data taking in 2007. ...
122 views117 votes14 years 11 months ago HCI 2009»
The main goal of dialog management is to provide all information needed to perform e. g. a SQL-query, a navigation task, etc. Two principal approaches for dialog management systems...
113 views123 votes15 years 7 months ago ICSE 2007»
Abstract. We describe an approach to designing and implementing a distributed system as a family of related finite state machines, generated from a single abstract model. Various a...