1382 search results - page 171 / 277 » Strider: Configuration Modelling and Analysis of Complex Sys... |
103
click to vote
NGITS
1999
Springer
15 years 2 months ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...
REFSQ
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. [Context and motivation] Ever-growing systems’ complexity and novel requirements engineering approaches such as reuse or globalization imply that requirements are produ...
SMI
1999
IEEE
15 years 2 months ago
1999
IEEE
Surgical simulation is the coming training method for medical education. The main reasons for this are the reduced risk for the patients and the easy repeatability of complicated ...
CPE
2003
Springer
15 years 3 months ago
2003
Springer
We describe the main features of SmArT, a software package providing a seamless environment for the logic and probabilistic analysis of complex systems. SmArT can combine differen...
102
click to vote
ECRTS
2010
IEEE
14 years 10 months ago
2010
IEEE
—In distributed real-time embedded systems (DRE), it is common to model an application as a set of task chains. Each chain is activated cyclically and must complete before an end...