3425 search results - page 148 / 685 » A Model Driven Approach for Software Systems Reliability |
100
Voted
KBSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Web applications are increasingly becoming the most important platform for software applications in industry, with many modelling languages proposed to handle the complexity of ...
154
Voted
ACMICEC
2007
ACM
15 years 7 months ago
2007
ACM
Norms defined by institutions and enforced by organizations have been put forward as a mechanism to increase the efficiency and reliability of electronic transactions carried out ...
156
Voted
DIALM
2007
ACM
15 years 7 months ago
2007
ACM
Reliable broadcast can be a very useful primitive for many distributed applications, especially in the context of sensoractuator networks. Recently, the issue of reliable broadcas...
133
Voted
ECOOPWEXCEPTION
2006
Springer
15 years 7 months ago
2006
Springer
Exception handling is a powerful abstraction that can be used to help manage errors and support the construction of reliable operating systems. Using exceptions to notify system co...
117
Voted
SEFM
2009
IEEE
15 years 10 months ago
2009
IEEE
—This paper addresses the issue of guaranteeing the correctness of fault diagnosis mechanisms in multi-agent systems. We propose an automated approach to verifying the property o...