563 search results - page 37 / 113 » A Typing Scheme for Behavioural Models |
PKC
2012
Springer
11 years 11 months ago
2012
Springer
We identify a potential weakness in the standard security model for dynamic group signatures which appears to have been overlooked previously. More specifically, we highlight tha...
ICCAD
2004
IEEE
14 years 5 months ago
2004
IEEE
Self-calibrating designs are gaining momentum in both the computation and communication worlds. Instead of relying on the worst-case characterisation of design parameters, self-ca...
GCC
2003
Springer
14 years 1 months ago
2003
Springer
This paper applies a new traffic model, iterated function systems (IFS) for network traffic modelling, to explore computer network behaviour and analyse network performance. IFS mo...
ECCV
2004
Springer
14 years 10 months ago
2004
Springer
We present a vision based, adaptive, decision theoretic model of human facial displays in interactions. The model is a partially observable Markov decision process, or POMDP. A POM...
CALCO
2007
Springer
14 years 2 months ago
2007
Springer
Much current work on modelling and verifying microprocessors can accommodate pipelined and superscalar processors. However, superscalar and pipelined processors are no longer state...