5267 search results - page 326 / 1054 » Methods for Knowledge Based Controlling of Distributed Syste... |
205
click to vote
CCS
2005
ACM
16 years 8 days ago
2005
ACM
In a reputation-based trust-management system, agents maintain information about the past behaviour of other agents. This information is used to guide future trust-based decisions...
172
click to vote
CADE
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
168
click to vote
PVM
2007
Springer
16 years 26 days ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
151
click to vote
FTDCS
2004
IEEE
15 years 10 months ago
2004
IEEE
The heterogeneous nature and independent administration of geographically dispersed resources in Grid, demand the need for access control using fine-grained policies. In this pape...
165
click to vote
ICRA
2005
IEEE
16 years 10 days ago
2005
IEEE
— This paper first presents a novel control strategy for periodic motion control based on a Hamiltonian system. According to the strategy, hybrid symmetric orbits (ideal walking...