4163 search results - page 651 / 833 » A comprehensive combination framework |
179
click to vote
SEFM
2005
IEEE
16 years 20 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...
163
Voted
SP
2005
IEEE
16 years 20 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]. ...
210
click to vote
WACV
2005
IEEE
16 years 19 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...
195
click to vote
WETICE
2005
IEEE
16 years 19 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...
212
click to vote
WETICE
2005
IEEE
16 years 19 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...