1536 search results - page 270 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
SACMAT
2003
ACM
14 years 26 days ago
2003
ACM
The Role-Based Access Control (RBAC) model is traditionally used to manually assign users to appropriate roles. When the service-providing enterprise has a massive customer base, ...
SIGIR
2003
ACM
14 years 26 days ago
2003
ACM
Due to both the size and growth of the internet, new tools are needed to assist with the finding and extraction of very specific resources relevant to a user's task. Previous...
CDC
2009
IEEE
14 years 10 days ago
2009
IEEE
— We consider decision making in a Markovian setup where the reward parameters are not known in advance. Our performance criterion is the gap between the performance of the best ...
HPTS
1993
13 years 11 months ago
1993
Elements of transaction processing become more and more accepted as a base for general purpose distributed computing.We have developed an action concept with an extended functiona...
JSW
2007
13 years 7 months ago
2007
— The usual scenario of service oriented systems is characterized by several services offering the same functionalities, by new services that are continuosly deployed and by othe...