Sciweavers

1424 search results - page 117 / 285
» The Multi-radius Cover Problem
Sort
View
HICSS
2003
IEEE
115views Biometrics» more  HICSS 2003»
15 years 8 months ago
Design and Implementation of a Bridge between CORBA's Notification Service and the Java Message Service
Messaging plays a central role in the development of distributed object-oriented systems. It is supported by the specification of the Java Message Service (JMS) and CORBA’s Noti...
Markus Aleksy, Martin Schader, Alexander Schnell
PCM
2001
Springer
130views Multimedia» more  PCM 2001»
15 years 7 months ago
Data Encryption Using MRF with an RSA Key
In a digital multimedia era, the security of multimedia over network transmission becomes a challenging issue. A strategy, combining cryptography with steganography, is investigat...
Chaur-Chin Chen
RANDOM
2001
Springer
15 years 7 months ago
On the Equivalence between the Primal-Dual Schema and the Local-Ratio Technique
We discuss two approximation approaches, the primal-dual schema and the local-ratio technique. We present two relatively simple frameworks, one for each approach, which extend know...
Reuven Bar-Yehuda, Dror Rawitz
114
Voted
ICLP
1995
Springer
15 years 7 months ago
Type Inferencing for Polymorphic Order-Sorted Logic Programs
The purpose of this paper is to study the problem of complete type inferencing for polymorphic order-sorted logic programs. We show that previous approaches are incomplete even if...
Christoph Beierle
CAV
2008
Springer
143views Hardware» more  CAV 2008»
15 years 5 months ago
Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems
We show how to view certain subclasses of (single-pushout) graph transformation systems as well-structured transition systems, which leads to decidability of the covering problem v...
Salil Joshi, Barbara König