Sciweavers

1721 search results - page 211 / 345
» The fundamentals of hybrid systems modelers
Sort
View
SUTC
2006
IEEE
16 years 1 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
193
Voted
PADL
1999
Springer
15 years 11 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 ...
OHS
2000
Springer
15 years 10 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
137
Voted
AAI
1999
83views more  AAI 1999»
15 years 6 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
WINE
2010
Springer
124views Economy» more  WINE 2010»
15 years 5 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...