438 search results - page 22 / 88 » Component Based Multi-Agent System Modeling and Analysis: A ... |
FORMATS
2003
Springer
14 years 2 months ago
2003
Springer
This text is dedicated to modelling of real-time applications running under multitasking operating system. Theoretical background is based on timed automata by Alur and Dill. As th...
HICSS
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper presents a quantitative threat modeling method, the Threat Modeling method based on Attack Path Analysis (T-MAP), which quantifies security threats by calculating the t...
IMCSIT
2010
2010
Integration of Scheduling Analysis into UML Based Development Processes Through Model Transformation
13 years 3 months ago
The complexity of embedded systems and their safety requirements have risen significantly in recent years. Models and the model based development approach help to keep overview and...
EDCC
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In this paper we present the formal safety analysis of a radiobased railroad crossing. We use deductive cause-consequence analysis (DCCA) as analysis method. DCCA is a no...
UML
2001
Springer
14 years 1 months ago
2001
Springer
Use case models are used in object-oriented analysis for capturing and describing the functional requirements of a system. Several methods for estimating software development effor...