3792 search results - page 517 / 759 » Techniques for Trusted Software Engineering |
168
click to vote
DEXA
2007
Springer
16 years 26 days ago
2007
Springer
Problems with large monolithical ontologies in terms of reusability, scalability and maintenance have lead to an increasing interest in modularization techniques for ontologies. Cu...
151
click to vote
FSEN
2007
Springer
16 years 25 days ago
2007
Springer
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be the proof of congruence and, related to this, enhancements of the bisimul...
142
click to vote
ML
2006
ACM
16 years 19 days ago
2006
ACM
Hash-consing is a technique to share values that are structurally equal. Beyond the obvious advantage of saving memory blocks, hash-consing may also be used to speed up fundamenta...
154
click to vote
ISESE
2005
IEEE
16 years 8 days ago
2005
IEEE
Many risk specific concepts like “threat”, “consequence” and “risk” belong to the daily language. In a risk analysis one cannot be certain that the participants’ int...
176
click to vote
ICWE
2005
Springer
16 years 5 days ago
2005
Springer
Current Web generation techniques are mainly hard-coded for predefined architectures of Web applications. Consequently, there is a gap between Web design models and the final imple...