Sciweavers

1721 search results - page 211 / 345
» The fundamentals of hybrid systems modelers
Sort
View
76
Voted
SUTC
2006
IEEE
15 years 4 months ago
The Computational Complexity of Enforceability Validation for Generic Access Control Rules
In computer security, many researches have tackled on the possibility of a unified model of access control, which could enforce any access control policies within a single unified...
Vincent C. Hu, D. Richard Kuhn, David F. Ferraiolo
87
Voted
PADL
1999
Springer
15 years 2 months ago
Or-Parallelism within Tabling
Abstract. One important advantage of logic programming is that it allows the implicit exploitation of parallelism. Towards this goal, we suggest that or-parallelism can be efficien...
Ricardo Rocha, Fernando M. A. Silva, Vítor ...
79
Voted
OHS
2000
Springer
15 years 1 months ago
Standardizing Hypertext: Where Next for OHP?
Abstract. Over the last six years the Open Hypermedia Systems Working Group (OHSWG) has been working in a coordinated effort to produce a protocol which will allow components of an...
David E. Millard, Hugh C. Davis, Luc Moreau
AAI
1999
83views more  AAI 1999»
14 years 10 months ago
Toward Social Robotics
This paper describes conceptionof social robot systemas self-organizing system. Distributed autonomousrobot systemis not autonomousas a group, if the systemtotally depends on the ...
Kousuke Sekiyama
72
Voted
WINE
2010
Springer
124views Economy» more  WINE 2010»
14 years 8 months ago
A Novel Approach to Propagating Distrust
Trust propagation is a fundamental topic of study in the theory and practice of ranking and recommendation systems on networks. The Page Rank [9] algorithm ranks web pages by propa...
Christian Borgs, Jennifer T. Chayes, Adam Tauman K...