Sciweavers

875 search results - page 45 / 175
» Specification Modules for Methodical System Development
Sort
View
SSWMC
2004
14 years 11 months ago
The Watermark Evaluation Testbed (WET)
While Digital Watermarking has received much attention in recent years, it is still a relatively young technology. There are few accepted tools/metrics that can be used to evaluat...
Hyung Cook Kim, Hakeem Ogunleye, Oriol Guitart, Ed...
JCP
2008
216views more  JCP 2008»
14 years 9 months ago
Direct Anonymous Attestation for Next Generation TPM
Trusted computing platforms have been proposed as a promising approach to enhance the security of general-purpose computing systems. Direct Anonymous Attestation(DAA) is a scheme t...
Xiaofeng Chen 0004, Dengguo Feng
ICONIP
1998
14 years 11 months ago
Summation Characteristics of PDM Digital Neural Network System
A PDM (Pulse Density Modulating) digital neural network system, which consists of 1,000 neurons physically interconnected by one million 7-bit synapses, was developed in our labor...
Hideki Toda, Yuzo Hirai
WSC
2000
14 years 11 months ago
Hybrid-system simulation for National Airspace System safety analysis
Analysis of large, complex systems requires simulations of hybrid-system dynamics, i.e., dynamics which are best described by a combination of continuous-time and discrete-event m...
Amy R. Pritchett, Seungman Lee, David Huang, David...
CONCUR
2006
Springer
15 years 1 months ago
Dynamic Access Control in a Concurrent Object Calculus
Abstract. We develop a variant of Gordon and Hankin's concurrent object calculus with support for flexible access control on methods. We investigate safe administration and ac...
Avik Chaudhuri