2043 search results - page 206 / 409 » Reasoning About Security Models |
205
click to vote
ENTCS
2006
15 years 6 months ago
2006
Model-Driven Architecture is an approach of the OMG, its objective is to tackle problems such as: the high availability that a software product requires to be ready for use, the h...
181
click to vote
NSDI
2004
15 years 7 months ago
2004
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks....
217
Voted
CISC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Despite many good (secure) key agreement protocols based on publickey cryptography exist, secure associations between two wireless devices are often established using sym...
142
click to vote
IAT
2009
IEEE
16 years 29 days ago
2009
IEEE
This paper discusses and evaluates an agent model that is able to manipulate the visual attention of a human, in order to support naval crew. The agent model consists of four subm...
171
click to vote
AIME
2009
Springer
16 years 25 days ago
2009
Springer
: Mental healthcare is a prospective area for applying AI techniques. For example, a computerized system could support individuals with a history of depression in maintaining their...