3729 search results - page 166 / 746 » On Formal Modeling of Agent Computations |
215
click to vote
TDSC
2008
15 years 6 months ago
2008
Specifying and managing access control policies is a challenging problem. We propose to develop formal verification techniques for access control policies to improve the current s...
164
click to vote
ENC
2003
IEEE
15 years 11 months ago
2003
IEEE
Societies are regulated by norms and, consequently, autonomous agents that want to be part of them must be able to reason about norms. However, no reasoning can be done if agents ...
152
click to vote
AWIC
2003
Springer
15 years 11 months ago
2003
Springer
Design patterns have been enthusiastically embraced in the software engineering community as well as in the web community since they capture knowledge about how and when to apply a...
206
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Wireless communication enables a broad spectrum of applications, ranging from commodity to tactical systems. Neighbor discovery (ND), that is, determining which devices are within...
176
click to vote
IAT
2010
IEEE
15 years 4 months ago
2010
IEEE
Computational trust systems are getting popular in several domains such as social networks, grid computing and business-to-business systems. However, the estimation of the trustwo...