8644 search results - page 1394 / 1729 » On the Composition of Secure Systems |
167
click to vote
OOPSLA
2005
Springer
16 years 10 days ago
2005
Springer
Grammatical inference (or grammar inference) has been applied to various problems in areas such as computational biology, and speech and pattern recognition but its application to...
157
click to vote
ITICSE
2004
ACM
16 years 8 days ago
2004
ACM
This paper examines the effect of grading approaches for SQL query formulation on students’ learning strategies. The way that students are graded in a subject has a significant ...
165
click to vote
ICARIS
2004
Springer
16 years 7 days ago
2004
Springer
The benefits of negative detection for obscuring information are explored in the context of Artificial Immune Systems (AIS). AIS based on string matching have the potential for a...
184
click to vote
IFIP
2004
Springer
16 years 6 days ago
2004
Springer
Dependent type systems are promising tools programmers can use to increase the reliability and security of their programs. Unfortunately, dependently-typed programming languages re...
152
click to vote
ISI
2004
Springer
16 years 6 days ago
2004
Springer
Malicious insiders’ difficult-to-detect activities pose serious threats to the intelligence community (IC) when these activities go undetected. A novel approach that integrates ...