7380 search results - page 506 / 1476 » Engineering Software Intensive Systems |
133
click to vote
EMSOFT
2001
Springer
15 years 9 months ago
2001
Springer
Dynamic storage allocation and automatic garbage collection are among the most popular features that high-level languages can offer. However, timecritical applications cannot be wr...
160
click to vote
IWSAS
2001
Springer
15 years 9 months ago
2001
Springer
We seek to construct autonomous adaptive survivable systems that use active trust management to adapt their own behavior in the face of compromises in the computational environment...
132
click to vote
CODES
1998
IEEE
15 years 9 months ago
1998
IEEE
Telecommunication systems are often specified in the standardized languages SDL and MSc. These languages allow only the specification of pure functional aspects. To remedy this pr...
116
click to vote
EUROMICRO
1998
IEEE
15 years 9 months ago
1998
IEEE
The World-Wide Web consists not only of informational, but also computational resources. However, these resources, especially computational ones are underutilized. One characteris...
134
click to vote
EUROMICRO
1998
IEEE
15 years 9 months ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...