1788 search results - page 23 / 358 » Integrating Security into the Curriculum |
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
Current research in software engineering at Karlstad University is concentrated on non-formal software design methods with a focus on semantics. One goal is to produce methods, wh...
CSEE
2000
Springer
15 years 1 months ago
2000
Springer
The field of component-based software engineering (CBSE) is currently in a period of rapid growth and change. No longer is the field dominated by discussions of traditional kinds ...
EDM
2009
14 years 7 months ago
2009
This paper describes a novel method to create a quantitative model of an educational content domain of related practice item-types using learning curves. By using a pairwise test t...
109
click to vote
SERP
2010
14 years 7 months ago
2010
We propose a formal method to automatically integrate security rules regarding an access control policy (expressed in Or-BAC) in Java programs. Given an untrusted application and a...
109
click to vote
CSFW
2012
IEEE
12 years 12 months ago
2012
IEEE
The onion routing network Tor is undoubtedly the most widely employed technology for anonymous web access. Although the underlying onion routing (OR) protocol appears satisfactory...