1134 search results - page 121 / 227 » Distributed Proving in Access-Control Systems |
149
Voted
IJCAI
1997
15 years 4 months ago
1997
We present a design for an automated theorem prover that controls its search based on ideas from several areas of artificial intelligence (AI). The combination of case-based reaso...
140
Voted
WWW
2003
ACM
16 years 4 months ago
2003
ACM
In this paper we introduce the architecture of a distributed service platform that integrates speech, web technology and voice-overIP technologies and describe how a specific serv...
113
Voted
IPSN
2007
Springer
15 years 9 months ago
2007
Springer
Distributed computation of Voronoi cells in sensor networks, i.e. computing the locus of points in a sensor field closest to a given sensor, is a key building block that supports...
134
click to vote
GLOBECOM
2008
IEEE
15 years 10 months ago
2008
IEEE
—Many distribution algorithms have been proposed up to now for P2P real time streaming. However, due to the lack of basic theoretical results and bounds, common sense and intuiti...
129
Voted
INFOCOM
2005
IEEE
15 years 9 months ago
2005
IEEE
— To proactively defend against intruders from readily jeopardizing single-path data sessions, we propose a distributed secure multipath solution to route data across multiple pa...