320 search results - page 43 / 64 » Conditionals and consequences |
APGV
2010
ACM
14 years 1 months ago
2010
ACM
In this paper, we explore the perception of finger motions of virtual characters. In three experiments, designed to investigate finger animations, we asked the following questio...
CSFW
2010
IEEE
14 years 1 months ago
2010
IEEE
—Security protocol design is a creative discipline where the solution space depends on the problem to be solved and the cryptographic operators available. In this paper, we exami...
APCSAC
2004
IEEE
14 years 1 months ago
2004
IEEE
As device sizes continue shrinking, lower charges are needed to activate gates, and consequently ever smaller external events (such as single ionizing particles of naturally occurr...
DELTA
2004
IEEE
14 years 1 months ago
2004
IEEE
Spectral warping is a time domain to time domain transformation on a signal that effectively warps the frequency content of the original signal. Here we present a matrix formulati...
CHARME
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. I develop a compositional theory of refinement for the branching time framework based on stuttering simulation and prove that if one system refines another, then a refine...