Sciweavers

2777 search results - page 67 / 556
» The Challenges of Service Evolution
Sort
View
ICSE
2007
IEEE-ACM
14 years 10 months ago
A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler
The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or c...
Patrice Chalin
WSE
2006
IEEE
14 years 4 months ago
Ontology-based Program Comprehension Tool Supporting Website Architectural Evolution
A challenge of existing program comprehension approaches is to provide consistent and flexible representations for software systems. Maintainers have to match their mental models ...
Yonggang Zhang, René Witte, Juergen Rilling...
MSR
2005
ACM
14 years 3 months ago
Using a clone genealogy extractor for understanding and supporting evolution of code clones
Programmers often create similar code snippets or reuse existing code snippets by copying and pasting. Code clones —syntactically and semantically similar code snippets—can ca...
Miryung Kim, David Notkin
ITICSE
2004
ACM
14 years 3 months ago
Design and evolution of an undergraduate course on web application development
Web technologies have become essential in the computing curricula. However, teaching a Web development course to computing students is challenging because of large bodies of knowl...
Kwok-Bun Yue, Wei Ding 0003
ECCV
2010
Springer
14 years 3 months ago
A Stochastic Graph Evolution Framework for Robust Multi-Target Tracking
Maintaining the stability of tracks on multiple targets in video over extended time periods remains a challenging problem. A few methods which have recently shown encouraging resul...