503 search results - page 83 / 101 » Automatic Verification of Strongly Dynamic Software Systems |
143
click to vote
ICNP
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...
170
click to vote
APSEC
2009
IEEE
15 years 9 months ago
2009
IEEE
Software visualization with sequence diagrams is one of the promising techniques aimed at helping developers comprehend the behavior of object-oriented systems effectively. However...
136
click to vote
QOSA
2010
Springer
15 years 3 months ago
2010
Springer
Self-adaptation is now a promising approach to maximize the satisfaction of requirements under changing environmental conditions. One of the key challenges for such self-adaptive s...
128
click to vote
UIST
2009
ACM
16 years 13 days ago
2009
ACM
While onboard navigation systems are gaining in importance, maps are still the medium of choice for laying out a route to a destination and for way finding. However, even with a ...
164
click to vote
EDBTW
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The unprecedented growth and increased importance of geographically distributed spatial data has created a strong need for efficient sharing of such data. Interestingly, ...