2935 search results - page 357 / 587 » An Integrated Approach to High Integrity Software Verificati... |
185
click to vote
MBEES
2010
15 years 8 months ago
2010
: Integrating architectural elements with a modern programming language is essential to ensure a smooth combination of architectural design and programming. In this position statem...
136
click to vote
SCAM
2006
IEEE
16 years 14 days ago
2006
IEEE
An approach for factoring source-code differences is presented. A single large difference between two versions of a program is decomposed into factors (i.e., smaller changes). The...
155
click to vote
DSN
2007
IEEE
16 years 24 days ago
2007
IEEE
Web-services are supported by a complex software infrastructure that must provide a robust service to the client applications. This practical experience report presents a practica...
172
click to vote
SIGMOD
2002
ACM
15 years 6 months ago
2002
ACM
Service based architectures are a powerful approach to meet the fast evolution of business rules and the corresponding software. An active functionality service that detects event...
163
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
The ability to account for the growing impacts of multiple process variations in modern technologies is becoming an integral part of nanometer VLSI design. Under the context of ti...