324 search results - page 63 / 65 » Model Transformations in Practice Workshop |
NDSS
2003
IEEE
14 years 11 days ago
2003
IEEE
We study proactive two-party signature schemes in the context of user authentication. A proactive two-party signature scheme (P2SS) allows two partiesāthe client and the serverā...
COMPGEOM
2003
ACM
14 years 10 days ago
2003
ACM
We develop algorithms for computing the smallest enclosing ball of a set of n balls in d-dimensional space. Unlike previous methods, we explicitly address small cases (n ā¤ d + 1...
AGTIVE
2003
Springer
14 years 10 days ago
2003
Springer
Graph-reduction speciļ¬cations (GRSs) are a powerful new method for specifying classes of pointer data structures (shapes). They cover important shapes, like various forms of bal...
CTRSA
2003
Springer
14 years 9 days ago
2003
Springer
Exposure of secret keys seems to be inevitable, and may in practice represent the most likely point of failure in a cryptographic system. Recently, the notion of intrusion-resilien...
ICIP
1997
IEEE
13 years 10 months ago
1997
IEEE
A novel algorithm is described for coding objects in video compression systems which gives complete control over the bit allocation to the video objects. The method is evaluated b...