3920 search results - page 531 / 784 » Challenges in Software Evolution |
147
click to vote
SIGMOD
2011
ACM
14 years 7 months ago
2011
ACM
Considering a broad definition for service contracts (beyond web services and software, e.g. airline tickets and insurance policies), we tackle the challenges of building a high ...
212
click to vote
EDOC
2011
IEEE
14 years 4 months ago
2011
IEEE
Abstract—Enterprise architecture (EA) management provides an engineering approach for the continuous advancement of the enterprise as a whole. The high number of involved compone...
167
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
256
click to vote
ASPLOS
2009
ACM
16 years 5 months ago
2009
ACM
Future processors are expected to observe increasing rates of hardware faults. Using Dual-Modular Redundancy (DMR), two cores of a multicore can be loosely coupled to redundantly ...
125
click to vote
CISIS
2009
IEEE
15 years 11 months ago
2009
IEEE
In the recent decades most of the big organizations have adopted maturity driven process improvement efforts (MDPI). Most of these efforts have been inspired of maturity models li...