5843 search results - page 222 / 1169 » Software Security in Practice |
163
click to vote
CIVR
2010
Springer
15 years 10 months ago
2010
Springer
Content-based video retrieval is maturing to the point where it can be used in real-world retrieval practices. One such practice is the audiovisual archive, whose users increasing...
186
click to vote
AGENTS
2001
Springer
15 years 10 months ago
2001
Springer
Our goal in this paper is to introduce and motivatea methodology, called Tropos, for building agent oriented software systems. Tropos is based on two key ideas. First, the notion ...
182
click to vote
SP
2010
IEEE
15 years 3 months ago
2010
IEEE
A program is defined to be noninterferent if its outputs cannot be influenced by inputs at a higher security level than their own. Various researchers have demonstrated how this pr...
128
click to vote
EXPERT
2002
15 years 5 months ago
2002
er than abstracting human behavior as work processes or tasks--functional idealizations of the work to be accomplished--we model people's activities comprehensively and chrono...
147
click to vote
SAFECOMP
1998
Springer
15 years 9 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...