3425 search results - page 55 / 685 » A Model Driven Approach for Software Systems Reliability |
132
click to vote
EICS
2009
ACM
15 years 7 months ago
2009
ACM
Complex and dynamic interaction behaviors in applications such as Virtual Reality (VR) systems are difficult to design and develop. Reasons for this include the complexity and lim...
121
click to vote
IASTEDSE
2004
15 years 4 months ago
2004
Consumer devices have domain specific constraints imposed by end-users, device manufacturers and service providers. These constraints focus on the need for security and reliabilit...
104
click to vote
HICSS
1999
IEEE
15 years 7 months ago
1999
IEEE
Assessing the reliability of a software system has always been an elusive target. A program may work very well for a number of years and this same program may suddenly become quit...
155
click to vote
ICSE
1999
IEEE-ACM
15 years 7 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
129
click to vote
ISORC
2007
IEEE
15 years 9 months ago
2007
IEEE
Modern processors used in embedded systems are becoming increasingly powerful, having features like caches and pipelines to speedup execution. While execution speed of embedded so...