3828 search results - page 383 / 766 » Proof-Based System Engineering Using a Virtual System Model |
186
click to vote
ISOLA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. This article deals with performance verifications of architecture models of real-time embedded systems. We focus on models verified with the real-time scheduling theory...
192
click to vote
CLEIEJ
2002
15 years 6 months ago
2002
This article describes the construction of a Knowledge Management System (KMS) by applying fundamental concepts and principles of Software Engineering, such as process, models, me...
185
click to vote
RE
2007
Springer
16 years 26 days ago
2007
Springer
Designing a secure and dependable system is not just a technical issue, it involves also a deep analysis of the organizational and the social environment in which the system will ...
189
click to vote
ESEC
1999
Springer
15 years 11 months ago
1999
Springer
The liveness characteristics of a system are intimately related to the notion of fairness. However, the task of explicitly modelling fairness constraints is complicated in practice...
179
click to vote
ICFEM
2009
Springer
16 years 1 months ago
2009
Springer
Thread pools are often used as a pattern to increase the throughput and responsiveness of software systems. Implementations of thread pools may differ considerably from each other...