Sciweavers

1415 search results - page 96 / 283
» Verified systems by composition from verified components
Sort
View
MM
2003
ACM
132views Multimedia» more  MM 2003»
15 years 11 months ago
A flexible and scalable authentication scheme for JPEG2000 image codestreams
JPEG2000 is an emerging standard for still image compression and is becoming the solution of choice for many digital imaging fields and applications. An important aspect of JPEG2...
Cheng Peng, Robert H. Deng, Yongdong Wu, Weizhong ...
COMCOM
2000
125views more  COMCOM 2000»
15 years 6 months ago
On object initialization in the Java bytecode
Java is an ideal platform for implementing mobile code systems, not only because of its portability but also because it is designed with security in mind. Untrusted Java programs ...
Stephane Doyon, Mourad Debbabi
USS
2008
15 years 8 months ago
In Defense of Pseudorandom Sample Selection
Generation of random numbers is a critical component of existing post-election auditing techniques. Recent work has largely discouraged the use of all pseudorandom number generato...
Joseph A. Calandrino, J. Alex Halderman, Edward W....
MRCO
2005
Springer
15 years 12 months ago
An Architecture for Developing Context-Aware Systems
This paper proposes a component-based architecture and development methodology for context-aware systems. A context is formally defined from relational point of view. The architec...
Kaiyu Wan, Vasu S. Alagar, Joey Paquet
ICSE
1993
IEEE-ACM
15 years 10 months ago
Procedure Calls Are the Assembly Language of Software Interconnection: Connectors Deserve First-Class Status
Software designers compose systems from components written in some prolanguage. They regularly describe systems using abstract patterns and sophisticated relations among component...
Mary Shaw