293 search results - page 3 / 59 » Quantitative analysis of scrolling techniques |
ENTCS
2006
13 years 5 months ago
2006
We present a semantics-based technique for modeling and analysing resource usage behaviour of programs written in a simple object oriented language like Java e code. The approach ...
SIGSOFT
2009
ACM
14 years 6 months ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...
IPPS
2005
IEEE
13 years 11 months ago
2005
IEEE
In recent years the Unified Modeling Language (UML) including its profiles gained increasing acceptance as a specification language for modeling real-time systems. It is crucia...
MICCAI
2003
Springer
14 years 6 months ago
2003
Springer
Abstract. Diffusion Tensor Imaging (DTI) is becoming a routine magnetic resonance technique to study white matter properties and alterations of fiber integrity due to pathology. Th...
ESORICS
2009
Springer
14 years 13 days ago
2009
Springer
Abstract. Biometric information is regarded as highly sensitive information and therefore encryption techniques for biometric information are needed to address security and privacy...