1812 search results - page 101 / 363 » Dynamic Updating of Software Systems Based on Aspects |
170
click to vote
WIESS
2000
15 years 7 months ago
2000
A software system can be called a safe-system with respect to memory, when it supports only strong-typing and it does not allow for the manual disposal of dynamic memory [2]. The ...
163
click to vote
UPP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. System family engineering seeks to exploit the commonalities among systems from a given problem domain while managing the variabilities among them in a systematic way. In...
155
click to vote
ISSRE
2007
IEEE
15 years 7 months ago
2007
IEEE
Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. In CBT, testing objectives are given und...
191
click to vote
TIC
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. There is a growing need to provide low-overhead softwarebased protection mechanisms to protect against malicious or untrusted code. Type-based approaches such as proof-ca...
142
click to vote
ERSA
2006
15 years 7 months ago
2006
This paper deals with the question of task communication and configuration dynamic management in the context of hardware and software implementations. Our approach is based on a c...