3451 search results - page 101 / 691 » Collaborative attack modeling |
HICSS
2005
IEEE
14 years 3 months ago
2005
IEEE
Business objects are object-oriented representations of the concepts of interest in an organization, such as activities, resources and actors. Business objects collaborate with on...
CSFW
2005
IEEE
14 years 3 months ago
2005
IEEE
We study an automatic technique for the verification of cryptographic protocols based on a Horn clause model of the protocol. This technique yields proofs valid for an unbounded ...
IJEIS
2010
13 years 7 months ago
2010
Abstract. Ontologies are today used to annotate web data with machine processable semantics and for domain modeling. As the use of ontologies increases and the ontologies themselve...
UAI
2000
13 years 11 months ago
2000
The growth of Internet commerce has stimulated the use of collaborative filtering (CF) algorithms as recommender systems. Such systems leverage knowledge about the known preferenc...
ICALT
2010
IEEE
13 years 8 months ago
2010
IEEE
We propose in this paper a new method to compute indicators based on models transformations. We use the concept of modeled trace and trace-based system to design an indicator. We u...