438 search results - page 9 / 88 » Component Based Multi-Agent System Modeling and Analysis: A ... |
102
Voted
DSN
2003
IEEE
15 years 4 months ago
2003
IEEE
Computer-based advisory systems form with their users composite, human-machine systems. Redundancy and diversity between the human and the machine are often important for the depe...
117
click to vote
SQJ
2008
14 years 11 months ago
2008
- We present a comprehensive UML statechart diagram analysis framework. This framework allows one to progressively perform different analysis operations to analyze UML statechart d...
WOSP
2004
ACM
15 years 5 months ago
2004
ACM
In this paper we describe our experience in performance analysis of the software architecture of the NICE case study which is responsible for providing several secure communicatio...
182
Voted
XPS
1997
15 years 29 days ago
1997
The paper presents objectives and results of a series of case studies in computer support for diagnosis, failure mode and effects analysis, and the creation of repair manuals in t...
107
Voted
TPHOL
1998
IEEE
15 years 3 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...