1134 search results - page 121 / 227 » Distributed Proving in Access-Control Systems |
197
click to vote
IJCAI
1997
15 years 7 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...
164
click to vote
WWW
2003
ACM
16 years 7 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...
156
click to vote
IPSN
2007
Springer
16 years 14 days 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...
168
click to vote
GLOBECOM
2008
IEEE
16 years 23 days 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...
160
click to vote
INFOCOM
2005
IEEE
15 years 12 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...