5599 search results - page 933 / 1120 » Abstract State Services |
170
click to vote
PET
2005
Springer
15 years 10 months ago
2005
Springer
Trust negotiation between two subjects require each one proving its properties to the other. Each subject specifies disclosure policies stating the types of credentials and attrib...
149
click to vote
ISAAC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Range searching over tree cross products – a variant of classic range searching – recently has been introduced by Buchsbaum et al. (Proc. 8th ESA, vol. 1879 of LNCS, ...
154
click to vote
ICPP
2003
IEEE
15 years 10 months ago
2003
IEEE
Process/thread migration and checkpointing schemes support load balancing, load sharing and fault tolerance to improve application performance and system resource usage on worksta...
146
click to vote
ISPASS
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract— This paper proposes to speedup sampled microprocessor simulations by reducing warmup times without sacrificing simulation accuracy. It exploiting the observation that ...
161
click to vote
ECAI
2000
Springer
15 years 9 months ago
2000
Springer
AutoSteve performs automated electrical design based on qualitative simulation and functional abstraction. It is the first commercial product capable of performing these tasks for ...