3801 search results - page 149 / 761 » An Approach to Modeling Software Safety |
145
click to vote
LCPC
2005
Springer
15 years 10 months ago
2005
Springer
The goal of this work is a systematic approach to compiler optimization for simultaneously optimizing across multiple levels of the memory hierarchy. Our approach combines compiler...
158
click to vote
FORMATS
2008
Springer
15 years 6 months ago
2008
Springer
Time dependant models have been intensively studied for many reasons, among others because of their applications in software verification and due to the development of embedded pla...
101
click to vote
ICWS
2004
IEEE
15 years 5 months ago
2004
IEEE
Web Services (WS) technology is becoming pervasive in the development of distributed systems and is an appealing vehicle for service presentation and horizontal integration. On th...
134
click to vote
WICSA
2004
15 years 5 months ago
2004
Over the past decade a number of architecture description languages (ADLs) have been proposed to facilitate modeling and analysis of software architecture. While each claims to ha...
148
click to vote
DEXAW
2008
IEEE
15 years 6 months ago
2008
IEEE
Validation is an essential part of software development, and testing is a practical and widely used approach. The emerging methodology is model-based testing, in which test cases ...