3801 search results - page 359 / 761 » An Approach to Modeling Software Safety |
166
click to vote
ICSEA
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we propose to use components for managing the increasing complexity in modern vehicular systems. Compared to other approaches, the distinguishing feature of our work...
194
click to vote
SEFM
2008
IEEE
16 years 1 months ago
2008
IEEE
Formal models of rational user behaviour are essential for user-centred reasoning about interactive systems. At an level, planned behaviour and reactive behaviour are two importan...
176
click to vote
FDL
2005
IEEE
16 years 10 days ago
2005
IEEE
This paper presents an approach for modeling an inertial navigation system. This system consists of a 3D acceleration and rotation sensor array, analog and digital error correctio...
151
click to vote
COMPSAC
2003
IEEE
16 years 15 hour ago
2003
IEEE
Markov chains have been used to model web usages and served as the basis for statistical testing, performance evaluation, and reliability analysis. However, most of such applicati...
161
click to vote
FASE
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...