8838 search results - page 438 / 1768 » Generalizing Domain Theory |
251
click to vote
CSFW
1997
IEEE
15 years 12 months ago
1997
IEEE
This paper presents a general approach for analysis and veri cation of authentication properties in the language of Communicating Sequential Processes (CSP). It is illustrated by ...
184
click to vote
ATAL
2006
Springer
15 years 11 months ago
2006
Springer
In the context of pre-Bayesian games we analyze resource selection systems with unknown number of players. We prove the existence and uniqueness of a symmetric safety-level equili...
226
click to vote
CIE
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We outline a general theory of graph polynomials which covers all the examples we found in the vast literature, in particular, the chromatic polynomial, various generaliz...
206
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
We generalize AGM belief revision theory to the multi-agent case. To do so, we first generalize the semantics of the singleagent case, based on the notion of interpretation, to th...
214
click to vote
BCSHCI
2008
15 years 9 months ago
2008
Personas are a powerful design and communication tool to help all those involved in the creation of interactive systems to better focus their efforts on their users. A persona is ...