Sciweavers

3836 search results - page 667 / 768
» Dynamic Communicators in MPI
Sort
View
ISOLA
2010
Springer
14 years 12 months ago
Towards an Architecture for Runtime Interoperability
Abstract. Interoperability remains a fundamental challenge when connecting heterogeneous systems which encounter and spontaneously communicate with one another in pervasive computi...
Amel Bennaceur, Gordon S. Blair, Franck Chauvel, G...
PAMI
2010
188views more  PAMI 2010»
14 years 12 months ago
A Unified Probabilistic Framework for Spontaneous Facial Action Modeling and Understanding
—Facial expression is a natural and powerful means of human communication. Recognizing spontaneous facial actions, however, is very challenging due to subtle facial deformation, ...
Yan Tong, Jixu Chen, Qiang Ji
SACMAT
2010
ACM
14 years 12 months ago
Enforcing spatial constraints for mobile RBAC systems
Proposed models for spatially-aware extensions of role-based access control (RBAC) combine the administrative and security advantages of RBAC with the dynamic nature of mobile and...
Michael S. Kirkpatrick, Elisa Bertino
SAS
2010
Springer
141views Formal Methods» more  SAS 2010»
14 years 12 months ago
Statically Inferring Complex Heap, Array, and Numeric Invariants
We describe Deskcheck, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. Deskcheck c...
Bill McCloskey, Thomas W. Reps, Mooly Sagiv
WINET
2010
158views more  WINET 2010»
14 years 12 months ago
Joint multi-cost routing and power control in wireless ad hoc networks
Abstract In this work we study the combination of multicost routing and adjustable transmission power in wireless ad hoc networks, so as to obtain dynamic energy- and interference-...
Nikolaos Karagiorgas, Panagiotis C. Kokkinos, Chri...