1288 search results - page 63 / 258 » Securing aspect composition |
CSFW
2004
IEEE
14 years 24 days ago
2004
IEEE
Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protocol environ...
SCP
2010
13 years 7 months ago
2010
Several scienti c bottlenecks have been identi ed in existing component-based approaches. em, we focus on the identi cation of a relevant abstraction for the component expression ...
ISCC
2007
IEEE
14 years 3 months ago
2007
IEEE
Presence has taken shape as a way to present a comprehensive view of the communications capabilities of a user or resource. Standardized protocols allow for receiving presence dat...
TAMODIA
2004
13 years 10 months ago
2004
Much information and knowledge work (with and without information technology) can be characterised as multitasking and interrupt driven. A whole host of characterisations and buzz...
ECBS
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper discusses an approach for top-down composition of software architectures. First, an architecture is derived that addresses functional requirements only. This architectu...