1458 search results - page 158 / 292 » Extended Term Rewriting Systems |
160
click to vote
ENTCS
1998
15 years 5 months ago
1998
We consider a generalisation of Larsen and Skou’s [19] reactive probabilistic transition systems which exhibit three kinds of choice: action-guarded probabilistic choice, extern...
194
click to vote
IEAAIE
2011
Springer
14 years 9 months ago
2011
Springer
Using model checking to verify that interaction protocols have given properties is widely recognized as an important issue in multiagent systems where autonomous and heterogeneous ...
177
click to vote
SACMAT
2003
ACM
15 years 11 months ago
2003
ACM
In large organizations the administration of access privileges (such as the assignment of an access right to a user in a particular role) is handled cooperatively through distribu...
167
Voted
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Many problems in AI and multi-agent systems research are most naturally formulated in terms of the abilities of a coalition of agents. There exist several excellent logical tools ...
146
click to vote
CHI
2010
ACM
15 years 6 months ago
2010
ACM
Blogs are becoming an increasingly important medium-socially, academically, and politically. Much research has involved analyzing blogs, but less work has considered how such anal...