3425 search results - page 362 / 685 » A Model Driven Approach for Software Systems Reliability |
153
click to vote
ICAC
2008
IEEE
15 years 11 months ago
2008
IEEE
We describe an automated method to generating models of an autonomic system. Specifically, we generate UML state diagrams for a set of interacting objects, including the extensio...
130
click to vote
CCS
2007
ACM
15 years 11 months ago
2007
ACM
Recently, a universally composable framework for RFID authentication protocols providing availability, anonymity, and authenticity was proposed. In this paper we extend that frame...
137
click to vote
DSRT
2005
IEEE
15 years 10 months ago
2005
IEEE
It is common practice to build complex systems from disparate sub-systems. Model composability is concerned with techniques for developing a whole model of a system from the model...
154
click to vote
CODES
2003
IEEE
15 years 10 months ago
2003
IEEE
the level of abstraction in system design promises to enable faster exploration of the design space at early stages. While scheduling decision for embedded software has great impa...
124
Voted
RV
2010
Springer
15 years 3 months ago
2010
Springer
A study of Google’s data center revealed that the incidence of main memory errors is surprisingly high. These errors can lead to application and system corruption, impacting reli...