Sciweavers

823 search results - page 47 / 165
» Model replication: transformations to address model scalabil...
Sort
View
ICSE
2001
IEEE-ACM
15 years 2 months ago
A Scalable Formal Method for Design and Automatic Checking of User Interfaces
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
Jean Berstel, Stefano Crespi-Reghizzi, Gilles Rous...
ICSE
2001
IEEE-ACM
15 years 2 months ago
Designing Components Versus Objects: A Transformational Approach
A good object-oriented design does not necessarily make a good component-based design, and vice versa. What design principles do components introduce? This paper examines componen...
David H. Lorenz, John M. Vlissides
CRYPTO
2003
Springer
96views Cryptology» more  CRYPTO 2003»
15 years 3 months ago
Scalable Protocols for Authenticated Group Key Exchange
We consider the fundamental problem of authenticated group key exchange among n parties within a larger and insecure public network. A number of solutions to this problem have bee...
Jonathan Katz, Moti Yung
DOCENG
2008
ACM
14 years 11 months ago
Adaptation of scalable multimedia documents
Several scalable media codecs have been standardized in recent years to cope with heterogeneous usage conditions and to aim at always providing audio, video and image content in t...
Benoît Pellan, Cyril Concolato
EUROPKI
2005
Springer
15 years 3 months ago
Legal Security for Transformations of Signed Documents: Fundamental Concepts
Abstract. Transformations of signed documents raise questions of technical and organisational nature which render the legal security of the transformed document doubtful. In partic...
Andreas U. Schmidt, Zbynek Loebl