4163 search results - page 336 / 833 » A comprehensive combination framework |
162
Voted
FSTTCS
2009
Springer
16 years 1 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
201
click to vote
ASIAMS
2007
IEEE
16 years 1 months ago
2007
IEEE
Composability, the capability to select and assemble offthe-shelf model components in various combinations to satisfy user requirements, is an appealing approach in reducing the t...
163
click to vote
ICMCS
2005
IEEE
16 years 8 days ago
2005
IEEE
The ever-increasing complexity of generic MultimediaContent-Analysis-based (MCA) solutions, their processing power demanding nature and the need to prototype and assess solutions ...
186
click to vote
SRDS
2005
IEEE
16 years 8 days ago
2005
IEEE
We propose and evaluate a novel framework for enforcing global coordination and control policies over interacting software components in enterprise computing environments. This fra...
136
click to vote
GRAPHITE
2005
ACM
16 years 7 days ago
2005
ACM
The computational requirements of full global illumination rendering are such that it is still not possible to achieve high-fidelity graphics of very complex scenes in a reasonab...