Sciweavers

1636 search results - page 282 / 328
» Type-Theoretic Functional Semantics
Sort
View
FASE
1998
Springer
15 years 4 months ago
Specifying and Analyzing Dynamic Software Architectures
A critical issue for complex component-based systems design is the modeling and analysis of architecture. One of the complicating factors in developing architectural models is acc...
Robert Allen, Rémi Douence, David Garlan
MINAR
1998
Springer
117views Multimedia» more  MINAR 1998»
15 years 4 months ago
Supporting Video Applications Through 4DIS Temporal Framework
Abstract. Video has become an essential component of multimedia applications nowadays. To support multimedia and video applications efciently, video objects must be modeled and str...
Rynson W. H. Lau, Hong Va Leong, Qing Li, Antonio ...
PKC
1998
Springer
107views Cryptology» more  PKC 1998»
15 years 4 months ago
On the Security of ElGamal Based Encryption
The ElGamal encryption scheme has been proposed several years ago and is one of the few probabilistic encryption schemes. However, its security has never been concretely proven bas...
Yiannis Tsiounis, Moti Yung
CIKM
1997
Springer
15 years 4 months ago
An Analysis of Cardinality Constraints in Redundant Relationships
In this paper, we present a complete analysis of redundant relationships in the entity-relationship model. Existing approaches use the concept of functional dependencies for ident...
James Dullea, Il-Yeol Song
ICDE
1993
IEEE
118views Database» more  ICDE 1993»
15 years 4 months ago
Entity Identification in Database Integration
The objective of entity identification is to determine the correspondence between object instances from more than one database. This paper ezamines the problem at the instance lev...
Ee-Peng Lim, Jaideep Srivastava, Satya Prabhakar, ...