4163 search results - page 651 / 833 » A comprehensive combination framework |
165
click to vote
SEFM
2005
IEEE
16 years 3 days ago
2005
IEEE
Component Based Development (CBD) aims to facilitate the construction of large-scale applications by supporting the composition of simple building blocks into complex applications...
153
click to vote
SP
2005
IEEE
16 years 2 days ago
2005
IEEE
We present a distributed algorithm for assembling a proof that a request satisfies an access-control policy expressed in a formal logic, in the tradition of Lampson et al. [16]. ...
197
click to vote
WACV
2005
IEEE
16 years 2 days ago
2005
IEEE
Dynamic face pose change and noise make it difficult to track multi-view faces in a cluttering environment. In this paper, we propose a graphical model based method, which combin...
169
click to vote
WETICE
2005
IEEE
16 years 2 days ago
2005
IEEE
The globalization of businesses and the cooperation between organizations have brought on an ever increased need for providing support for distributed collaborations. In this pape...
193
click to vote
WETICE
2005
IEEE
16 years 2 days ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...