Sciweavers

2043 search results - page 225 / 409
» Reasoning About Security Models
Sort
View
AAAI
2006
15 years 7 months ago
Bayesian Reputation Modeling in E-Marketplaces Sensitive to Subjectivity, Deception and Change
We present a model for buying agents in e-marketplaces to interpret evaluations of sellers provided by other buying agents, known as advisors. The interpretation of seller evaluat...
Kevin Regan, Pascal Poupart, Robin Cohen
ASE
2008
135views more  ASE 2008»
15 years 5 months ago
Deriving event-based transition systems from goal-oriented requirements models
Goal-oriented methods are increasingly popular for elaborating software requirements. They offer systematic support for incrementally building intentional, structural, and operati...
Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebasti&...
IJMMS
2007
142views more  IJMMS 2007»
15 years 5 months ago
Using OWL to model biological knowledge
Much has been written of the facilities for ontology building and reasoning offered for ontologies expressed in the Web Ontology Language (OWL). Less has been written about how th...
Robert Stevens, Mikel Egaña Aranguren, Katy...
SEMWEB
2010
Springer
15 years 16 days ago
Modeling vs encoding for the Semantic Web
The Semantic Web emphasizes encoding over modeling. It is built on the premise that ontology engineers can say something useful about the semantics of vocabularies by expressing th...
Werner Kuhn
UC
2005
Springer
15 years 11 months ago
On Model-Checking of P Systems
Abstract. Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computin...
Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie