1638 search results - page 136 / 328 » Properties of input-consuming derivations |
79
Voted
ITC
1999
IEEE
15 years 2 months ago
1999
IEEE
Design diversity has long been used to protect redundant systems against common-mode failures. The conventional notion of diversity relies on "independent" generation of...
104
Voted
FCT
1999
Springer
15 years 2 months ago
1999
Springer
The aim of this paper is to investigate the relation between two models of concurrent systems: tile rewrite systems and coalgebras. Tiles are rewrite rules with side e ects which a...
76
Voted
ICSE
1999
IEEE-ACM
15 years 2 months ago
1999
IEEE-ACM
ÐExplicitly stated program invariants can help programmers by identifying program properties that must be preserved when modifying code. In practice, however, these invariants are...
98
Voted
IH
1999
Springer
15 years 2 months ago
1999
Springer
This paper presents a new stochastic approach which can be applied with di erent watermark techniques. The approach is based on the computation of a Noise Visibility Function NVF ...
76
Voted
ICECCS
1997
IEEE
15 years 2 months ago
1997
IEEE
Software architectures can play a role in improving the testing process of complex systems. In particular, descriptions of the software architecture can be useful to drive integra...