Sciweavers

5639 search results - page 587 / 1128
» Timed Abstract Non-interference
Sort
View
GD
2000
Springer
15 years 10 months ago
Labeling Points with Rectangles of Various Shapes
Abstract. We deal with a map-labeling problem, named LOFL (Leftpart Ordered Flexible Labeling), to label a set of points in a plane with polygonal obstacles. The label for each poi...
Shin-Ichi Nakano, Takao Nishizeki, Takeshi Tokuyam...
INFOCOM
2000
IEEE
15 years 10 months ago
Windowed Certificate Revocation
Abstract--The advent of electronic commerce and personal communications on the Internet heightens concerns over the lack of privacy and security. Network services providing a wide ...
Patrick Drew McDaniel, Sugih Jamin
ISER
2000
Springer
109views Robotics» more  ISER 2000»
15 years 10 months ago
Advancing Active Vision Systems by Improved Design and Control
Abstract: This paper presents the mechanical hardware and control software of a novel high-performance active vision system. It is the latest in an ongoing research effort to devel...
Orson Sutherland, Harley Truong, Sebastien Rougeau...
IWSAS
2000
Springer
15 years 10 months ago
Mapping an Application to a Control Architecture: Specification of the Problem
Abstract. This paper deals with self-adapting software that is structured according to a control theory architecture. Such software contains, in addition to its main function, two ...
Mieczyslaw M. Kokar, Kevin M. Passino, Kenneth Bac...
MATA
2000
Springer
15 years 10 months ago
Keyphrase-Based Information Sharing in the ACORN Multi-agent Architecture
Abstract. The ACORN provides an agent-based architecture for information retrieval and provision across networks. The main objective of this paper is to present the design and impl...
Hui Yu, Ali A. Ghorbani, Virendra C. Bhavsar, Step...