575 search results - page 86 / 115 » Simulating the Structural Evolution of Software |
113
click to vote
ESEC
1997
Springer
15 years 6 months ago
1997
Springer
Software architectures shift developers’ focus from lines-of-code to coarser-grained architectural elements and their interconnection structure. Architecture description language...
128
click to vote
ENGL
2007
15 years 2 months ago
2007
—This paper details a learning decision-theoretic intelligent agent designed to solve the problem of guiding vehicles in the context of Personal Rapid Transit (PRT). The intellig...
149
Voted
ICST
2010
IEEE
15 years 14 days 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...
105
click to vote
APPML
2011
14 years 9 months ago
2011
This article shows that, so called, general Green-Taylor solutions, also called Taylor solutions or eddy solutions of the 2d Navier Stokes equations are also exact solutions to app...
144
Voted
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...