3920 search results - page 474 / 784 » Challenges in Software Evolution |
195
click to vote
ISSRE
2010
IEEE
15 years 5 months ago
2010
IEEE
—Driven by market needs and laws, automotive manufacturers develop ever more feature-rich and complex vehicles. This new functionality plays even an active role in driving, what ...
179
click to vote
VSTTE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
183
click to vote
CISIS
2010
IEEE
15 years 4 months ago
2010
IEEE
As Grid infrastructures become more widely used by the academic and commercial world, the problem of resource allocation increases in complexity. Resource trading markets are one m...
156
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
Real-time high-definition video encoding is a computationhungry task that challenges software-based solutions. For that, in this work we adopted an Intel software implementation o...
210
click to vote
ICST
2010
IEEE
15 years 4 months ago
2010
IEEE
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...