10038 search results - page 494 / 2008 » Model Checking for Managers |
199
click to vote
SEC
2007
15 years 8 months ago
2007
This paper presents the results related to the development of a flexible domain-based access control infrastructure for distributed Grid-based Collaborative Environments and Comple...
152
click to vote
CCS
2007
ACM
16 years 1 months ago
2007
ACM
Trust management represents today a promising approach for supporting access control in open environments. While several approaches have been proposed for trust management and sig...
247
click to vote
AAAI
1993
15 years 8 months ago
1993
This paper describes a method for the development of dialogue managers for natural language interfaces. A dialogue manager is presented designed on the basis of both a theoretical...
167
Voted
ATMOS
2009
15 years 8 months ago
2009
Trains often arrive delayed at stations where passengers have to change to other trains. The question of delay management is whether these trains should wait for the original train...
186
click to vote
ADHOC
2008
15 years 7 months ago
2008
In this paper, we present a secure group key management scheme for hierarchical mobile ad-hoc networks. Our approach aims to improve both scalability and survivability of group ke...