3920 search results - page 412 / 784 » Challenges in Software Evolution |
179
Voted
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
The safety of pointer programs is an important issue in high-assurance software design, and their verification remains a major challenge. Pointer Logic has been proposed to verify...
175
click to vote
ECSA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract Architectural patterns are often combined with other, relevant architectural patterns during software architecture design. However, combining patterns effectively remains ...
173
click to vote
WISE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The Cloud is fast gaining popularity as a platform for deploying Software as a Service (SaaS) applications. In principle, the Cloud provides unlimited compute resources, ...
208
click to vote
CGO
2011
IEEE
14 years 10 months ago
2011
IEEE
—The latest trend towards performance asymmetry among cores on a single chip of a multicore processor is posing new challenges. For effective utilization of these performanceasym...
199
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
A software design is often modeled as a collection of unified Modeling Language (UML) diagrams. There are different aspects of the software system that are covered by many differe...