7335 search results - page 879 / 1467 » Scene Based Reasoning |
162
click to vote
IEEEPACT
2000
IEEE
15 years 11 months ago
2000
IEEE
ÐThis paper presents a multithreaded abstract machine for the TyCO process calculus. We argue that process calculi provide a powerful framework to reason about fine-grained parall...
126
click to vote
ACSAC
1999
IEEE
15 years 11 months ago
1999
IEEE
ARGuE (Advanced Research Guard for Experimentation) is a prototype guard being developed as a basis for experimentation. ARGuE is based on Network Associates' Gauntlet firewa...
157
click to vote
ICPP
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper extended a mathematical technique to model the behaviour of token-passing protocol in a star-coupled wavelength-division multiplexing (WDM) optical network for traffic ...
154
click to vote
MM
1998
ACM
15 years 11 months ago
1998
ACM
In this paper we address the issue of structural multimedia similarity, which is based on the relations between the individual objects that comprise a multimedia document. We prop...
159
click to vote
WETICE
1996
IEEE
15 years 11 months ago
1996
IEEE
This paper explores generating and conveying confidence in enterprise security. An enterprise assurance framework provides a structure enterprise assurance evidence that strengthe...