875 search results - page 45 / 175 » Specification Modules for Methodical System Development |
112
click to vote
SSWMC
2004
15 years 3 months ago
2004
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...
144
Voted
JCP
2008
15 years 2 months ago
2008
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...
124
click to vote
ICONIP
1998
15 years 3 months ago
1998
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...
105
click to vote
WSC
2000
15 years 3 months ago
2000
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...
117
click to vote
CONCUR
2006
Springer
15 years 6 months ago
2006
Springer
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...