3235 search results - page 313 / 647 » Partial Redundant Modeling |
137
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
130
click to vote
AI
2006
Springer
15 years 5 months ago
2006
Springer
Finite-domain constraint programming has been used with great success to tackle a wide variety of combinatorial problems in industry and academia. To apply finite-domain constrain...
167
click to vote
JOT
2007
15 years 5 months ago
2007
Demand for quality software has undergone with rapid growth during the last few years. This is leading to an increase in the development of metrics for measuring the properties of...
171
click to vote
FDTC
2010
Springer
15 years 3 months ago
2010
Springer
Many implementations of cryptographic algorithms have shown to be susceptible to fault attacks. For some of them, countermeasures against specific fault models have been proposed. ...
177
click to vote
WEBDB
2010
Springer
15 years 2 months ago
2010
Springer
The Semantic Web, which represents a web of knowledge, offers new opportunities to search for knowledge and information. To harvest such search power requires robust and scalable ...