1965 search results - page 184 / 393 » On the analysis of interacting pushdown systems |
SIGSOFT
2003
ACM
14 years 11 months ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...
SACMAT
2009
ACM
14 years 4 months ago
2009
ACM
Role based access control (RBAC) is a widely used access control paradigm. In large organizations, the RBAC policy is managed by multiple administrators. An administrative role ba...
PE
2010
Springer
13 years 8 months ago
2010
Springer
Correlations in traffic patterns are an important facet of the workloads faced by real systems, and one that has far-reaching consequences on the performance and optimization of t...
ICMCS
2005
IEEE
14 years 3 months ago
2005
IEEE
To recognize and understand a person’s emotion has been known as one of the most important issue in human-computer interaction. In this paper, we present a multimodal system tha...
MICCAI
2003
Springer
14 years 11 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...