1382 search results - page 88 / 277 » Strider: Configuration Modelling and Analysis of Complex Sys... |
125
click to vote
ACTAC
2006
15 years 1 months ago
2006
The surgery of fractured bones is often a very complex problem. That is the reason why it would be beneficial to create a geometric and mechanic model of the bones before surgical...
117
click to vote
CAISE
2000
Springer
15 years 5 months ago
2000
Springer
With the emergence of the Internet, collaborative computing has become more feasible than ever. Organizations can share valuable information among each other. However, certain user...
122
click to vote
AOSE
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Nowadays, information systems have to perform in complex, heterogeneous environments, considering a variety of system users with different needs and preferences. Software...
126
click to vote
ETRICS
2006
15 years 5 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
150
click to vote
TII
2008
15 years 1 months ago
2008
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...