3645 search results - page 266 / 729 » Implementing mapping composition |
160
click to vote
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...
166
click to vote
SLE
2009
Springer
16 years 1 months ago
2009
Springer
Modularisation can reduce the effort in designing and maintaining language specifications. Existing approaches to language modularisation are typically either focused on language ...
172
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
Wireless sensor networks are often used by experts in many different fields to gather data pertinent to their work. Although their expertise may not include software engineering, ...
256
click to vote
ICEBE
2007
IEEE
16 years 28 days ago
2007
IEEE
With the evolution of Grid technologies and the application of Service-Oriented Architecture (SOA), more and more enterprises are integrated and collaborated with each other in a ...
151
click to vote
IFM
2007
Springer
16 years 23 days ago
2007
Springer
Many process calculi have been proposed since Robin Milner and Tony Hoare opened the way more than 25 years ago. Although they are based on the same kernel of operators, most of th...