1515 search results - page 12 / 303 » On the relation of aspects and monads |
TCS
2011
13 years 2 months ago
2011
We consider some Riordan arrays related to binary words avoiding a pattern p, which can be easily studied by means of an A-matrix rather than their A-sequence. Both concepts allow...
AOSD
2008
ACM
13 years 9 months ago
2008
ACM
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Agents interacting in open environments such as Internet are often in charge of personal information. In order to protect the privacy of human users, such agents have to ...
FOIS
2001
13 years 9 months ago
2001
IWFM
2000
13 years 9 months ago
2000
Security services in a multi-user environment are often based on access control mechanisms. Static of an access control policy can be formalised using abstract algebraic models. W...