Sciweavers

3971 search results - page 247 / 795
» On the Use of Properties in Java Applications
Sort
View
GD
2007
Springer
16 years 22 days ago
Constrained Stress Majorization Using Diagonally Scaled Gradient Projection
Abstract. Constrained stress majorization is a promising new technique for integrating application specific layout constraints into forcedirected graph layout. We significantly i...
Tim Dwyer, Kim Marriott
ACNS
2004
Springer
104views Cryptology» more  ACNS 2004»
15 years 12 months ago
Key Agreement Using Statically Keyed Authenticators
A family of authenticators based on static shared keys is identified and proven secure. The authenticators can be used in a variety of settings, including identity-based ones. App...
Colin Boyd, Wenbo Mao, Kenneth G. Paterson
DELTA
2002
IEEE
15 years 11 months ago
Test Chirp Signal Generation Using Spectral Warping
A DSP technique that transforms a digital signal by warping the frequency axis is discussed. The technique corresponds to a mapping of the samples in the z-domain such that they a...
Warwick Allen, Donald G. Bailey, Serge N. Demidenk...
CCS
1999
ACM
15 years 11 months ago
Using Smartcards to Secure a Personalized Gambling Device
We introduce a technique for using an untrusted device, such as a hand-held personal digital assistant or a laptop to perform real nancial transactions without a network. We utili...
William Aiello, Aviel D. Rubin, Martin Strauss
FMCO
2007
Springer
124views Formal Methods» more  FMCO 2007»
15 years 10 months ago
Certification Using the Mobius Base Logic
This paper describes a core component of Mobius' Trusted Code Base, the Mobius base logic. This program logic facilitates the transmission of certificates that are generated u...
Lennart Beringer, Martin Hofmann, Mariela Pavlova