4890 search results - page 296 / 978 » From system specifications to component behavioral models |
165
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...
162
click to vote
ATAL
2005
Springer
16 years 10 days ago
2005
Springer
A survivable agent system depends on the incorporation of many recovery features. However, the optimal use of these features requires the ability to assess the actual state of the...
153
click to vote
WSC
1997
15 years 8 months ago
1997
Automotive manufacturing is a complex task involving several steps of machining and assembly. Typically, larger components of an automobile such as the body, engine etc. are assem...
191
click to vote
WSC
2001
15 years 8 months ago
2001
The use of simulation in healthcare area is not widely spread when compared with other areas. This paper suggests that traditional approaches to modeling may not fully utilize sim...
187
click to vote
APSEC
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents an integrated process model of use-case driven analysis and task analysis for developing interactive systems. In the process model, an analysis model is develo...