247 search results - page 15 / 50 » Agent-Oriented Modeling by Interleaving Formal and Informal ... |
JAPLL
2008
13 years 8 months ago
2008
In traditional mathematical models of argumentation an argument often consists of a chain of rules or reasons, beginning with premisses and leading to a conclusion that is endorse...
JCP
2008
13 years 8 months ago
2008
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...
DSVIS
2008
Springer
13 years 10 months ago
2008
Springer
Specifying user interfaces consists in a fundamental activity in the user interface development life cycle as it informs the subsequent steps. Good quality specifications could lea...
ENTCS
2006
13 years 8 months ago
2006
We formally define a notion of credit and responsibility within the Generalized Non Deducibility on Compositions framework. We investigate the validity of our definitions through ...
DKE
2007
13 years 8 months ago
2007
In this paper we explore how (micro)economic theory can be used to analyze and model the exchange of information on the Web. More specifically, we consider searchers for informati...