2488 search results - page 483 / 498 » An improvement in formal verification |
102
click to vote
CODES
2003
IEEE
15 years 6 months ago
2003
IEEE
Multitasked real-time systems often employ caches to boost performance. However the unpredictable dynamic behavior of caches makes schedulability analysis of such systems difficul...
103
click to vote
WPES
2003
ACM
15 years 6 months ago
2003
ACM
We present a model and protocol for anonymous credentials. Rather than using deterrents to ensure non-transferability, our model uses secure hardware with biometric authentication...
122
click to vote
AMKM
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. In this paper, we outline the relation between Knowledge Management (KM) as an application area on the one hand, and software agents as a basic technology for supporting ...
107
click to vote
IWCMC
2010
ACM
15 years 6 months ago
2010
ACM
The assumption of routing symmetry is often embedded into traffic analysis and classification tools. This paper uses passively captured network data to estimate the amount of tra...
118
click to vote
PODS
2010
ACM
15 years 6 months ago
2010
ACM
Abiteboul et al. initiated the systematic study of distributed XML documents consisting of several logical parts, possibly located on different machines. The physical distributio...