Sciweavers

2188 search results - page 239 / 438
» group 2007
Sort
View
SEKE
2007
Springer
16 years 22 days ago
Classification of Design Pattern Traits
Design patterns describe good solutions to common and recurring problems. The applications of design patterns may vary in different layouts, which pose challenges for recovering a...
Jing Dong, Yajing Zhao
SOCO
2007
Springer
16 years 22 days ago
Towards a Unifying Theory for Choreography Conformance and Contract Compliance
In the context of Service Oriented Computing, contracts are descriptions of the externally observable behaviour of services. Given a group of collaborating services, their contract...
Mario Bravetti, Gianluigi Zavattaro
STACS
2007
Springer
16 years 22 days ago
On the Automatic Analysis of Recursive Security Protocols with XOR
Abstract. In many security protocols, such as group protocols, principals have to perform iterative or recursive computations. We call such protocols recursive protocols. Recently,...
Ralf Küsters, Tomasz Truderung
TSD
2007
Springer
16 years 22 days ago
Disambiguating Hypernym Relations for Roget's Thesaurus
Roget’s Thesaurus is a lexical resource which groups terms by semantic relatedness. It is Roget’s shortcoming that the relations are ambiguous, in that it does not name them; i...
Alistair Kennedy, Stan Szpakowicz
ACSC
2007
IEEE
15 years 10 months ago
Cross-Layer Verification of Type Flaw Attacks on Security Protocols
Security protocols are often specified at the application layer; however, application layer specifications give little detail regarding message data structures at the presentation...
Benjamin W. Long, Colin J. Fidge, David A. Carring...