Sciweavers

704 search results - page 37 / 141
» Resource Access Control for an Internet User Agent
Sort
View
IPM
2006
100views more  IPM 2006»
14 years 9 months ago
Automatic indexing of online health resources for a French quality controlled gateway
The profusion of online resources calls for tools and methods to help Internet users find precisely what they are looking for. Quality controlled gateway CISMeF provides such serv...
Aurélie Névéol, Alexandrina R...
MIDDLEWARE
2010
Springer
14 years 8 months ago
Prometheus: User-Controlled P2P Social Data Management for Socially-Aware Applications
Recent Internet applications, such as online social networks and user-generated content sharing, produce an unprecedented amount of social information, which is further augmented b...
Nicolas Kourtellis, Joshua Finnis, Paul Anderson, ...
WWW
2005
ACM
15 years 10 months ago
MiSpider: a continuous agent on web pages
In this paper, we propose a Web based agent system called MiSpider, which provides intelligent web services on web browsers. MiSpider enables users to use agents on existing brows...
Yujiro Fukagaya, Tadachika Ozono, Takayuki Ito, To...
JCS
2008
119views more  JCS 2008»
14 years 9 months ago
Synthesising verified access control systems through model checking
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev
IJIT
2004
14 years 11 months ago
Rule-Based Message Passing for Collaborative Application in Distributed Environments
In this paper, we describe a rule-based message passing method to support developing collaborative applications, in which multiple users share resources in distributed environments...
Wataru Yamazaki, Hironori Hiraishi, Fumio Mizoguch...