2043 search results - page 232 / 409 » Reasoning About Security Models |
162
click to vote
FTRTFT
2000
Springer
15 years 9 months ago
2000
Springer
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...
146
click to vote
CG
2008
Springer
15 years 7 months ago
2008
Springer
Since Chase and Simon presented their influential paper on perception in chess in 1973, the use of chunks has become the subject of a number of studies into the cognitive behavior ...
148
click to vote
ACSD
2006
IEEE
15 years 7 months ago
2006
IEEE
Networks on chip platforms offer the opportunity to introduce a new abstraction level that defines a set of platform services with performance and power characteristics. By making...
174
click to vote
IESA
2007
15 years 7 months ago
2007
Increased performance is the key reason for developing software with virtual teams but the research efforts to date are limited. Difficulties for a formal, generic approach are mul...
183
click to vote
IFIP12
2004
15 years 7 months ago
2004
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...