2631 search results - page 226 / 527 » Software Development with Code Maps |
184
click to vote
CODES
2007
IEEE
16 years 29 days ago
2007
IEEE
We propose a method for dynamic security domain scaling on SMPs that offers both highly scalable performance and high security for future high-end embedded systems. Its most impor...
178
click to vote
AMAST
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
185
click to vote
CISIS
2010
IEEE
2010
IEEE
Computational Grid as an Appropriate Infrastructure for Ultra Large Scale Software Intensive Systems
16 years 1 months ago
—Ultra large scale (ULS) systems are future software intensive systems that have billions of lines of code, composed of heterogeneous, changing, inconsistent and independent elem...
179
click to vote
ICSM
2008
IEEE
16 years 1 months ago
2008
IEEE
Aspect-oriented programming (AOP) is gaining popularity with the wider adoption of languages such as AspectJ. During AspectJ software evolution, when regression tests fail, it may...
167
click to vote
WCRE
2007
IEEE
16 years 27 days ago
2007
IEEE
Defect density and defect prediction are essential for efficient resource allocation in software evolution. In an empirical study we applied data mining techniques for value seri...