756 search results - page 45 / 152 » Modeling Computational Security in Long-Lived Systems |
106
click to vote
IWCMC
2006
ACM
15 years 5 months ago
2006
ACM
This paper presents a neural network model for routing in the space segment of a Satellite Personal Communication System. At first, a proper energy function is constructed from th...
117
click to vote
VIS
2004
IEEE
16 years 1 months ago
2004
IEEE
Grid computing provides a challenge for visualization system designers. In this research, we evolve the dataflow concept to allow parts of the visualization process to be executed...
103
click to vote
COMPCON
1994
IEEE
15 years 4 months ago
1994
IEEE
Spring is a highly modular, distributed, object-oriented operating system. This paper describes the goals of the Spring system and provides overviews of the Spring object model, t...
128
click to vote
DBSEC
1996
15 years 1 months ago
1996
High assurance security is di cult to achieve in distributed computer systems and databases because of their complexity, non-determinism and inherent heterogeneity. The practical ...
JALC
2006
14 years 11 months ago
2006
In this paper we present an extension of Dolev-Yao models for security protocols with a notion of random polynomial-time (Las Vegas) computability. First we notice that Dolev-Yao ...