2940 search results - page 323 / 588 » Relational Parametricity and Control |
166
click to vote
IADIS
2004
15 years 8 months ago
2004
We have designed and deployed a system that uses X.509 public-key certificates (PKC) and attribute certificates (AC) for access control. This includes an authorization service for...
178
click to vote
PICS
2003
15 years 8 months ago
2003
We present a novel spectral imaging technique that allows multiple gray-scale images to be combined in a single hardcopy print. The images are individually revealed when the print...
190
click to vote
AAAI
1998
15 years 8 months ago
1998
In this paper, we describe methods for e ciently computing better solutions to control problems in continuous state spaces. We provide algorithms that exploit online search to boo...
166
click to vote
COOTS
1998
15 years 8 months ago
1998
This paper describes the design and implementation of the Mobile Objects and Agents (MOA) project at the Open Group Research Institute. MOA was designed to support migration, comm...
145
click to vote
WCE
2007
15 years 7 months ago
2007
—The problem of active shielding of some domains from the effect of the sources distributed in other domains is considered. The problem can be formulated either in a bounded dom...