3425 search results - page 341 / 685 » A Model Driven Approach for Software Systems Reliability |
171
Voted
IC3
2009
15 years 2 months ago
2009
In this paper we have worked out on some the complex modeling aspects such as Multi Scale modeling, MATLAB Sugar based modeling and have shown the complexities involved in the anal...
136
click to vote
ICDCS
1996
IEEE
15 years 9 months ago
1996
IEEE
: Software capabilities are a very convenient means to protect co-operating applications. They allow access rights to be dynamically exchanged between mutually suspicious interacti...
152
Voted
ICSE
2011
IEEE-ACM
14 years 8 months ago
2011
IEEE-ACM
A dependability case is an explicit, end-to-end argument, based on concrete evidence, that a system satisfies a critical property. We report on a case study constructing a depend...
164
click to vote
WWW
2006
ACM
16 years 5 months ago
2006
ACM
Today, the Web is increasingly used as a platform for distributed services, which transcend organizational boundaries to form federated applications. Consequently, there is a grow...
118
click to vote
EUROSYS
2006
ACM
16 years 1 months ago
2006
ACM
Bugs in kernel-level device drivers cause 85% of the system crashes in the Windows XP operating system [44]. One of the sources of these errors is the complexity of the Windows dr...