4866 search results - page 408 / 974 » UML for Global Computing |
180
click to vote
ISPD
2005
ACM
16 years 13 days ago
2005
ACM
During the ispd05 placement contest, we employed the forcedirected approach Kraftwerk for global placement complemented by the network-flow based final placer Domino. These powe...
158
click to vote
CONCUR
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. We present a discretely timed spi-calculus. A primitive for key compromise allows us to model key compromise attacks, thus going beyond the standard Dolev–Yao attacker ...
155
click to vote
DSOM
2005
Springer
16 years 12 days ago
2005
Springer
Presently, there is no satisfactory model for dealing with political autonomy of agents in policy based management. A theory of atomic policy units called ‘promises’ is therefo...
149
click to vote
FSTTCS
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. This paper addresses the issue of confidentiality and declassification for global computing in a language-based security perspective. The purpose is to deal with new fo...
148
click to vote
ISMIR
2005
Springer
16 years 12 days ago
2005
Springer
This paper presents the CLAM Annotator tool. This application has been developed in the context of the CLAM framework and can be used to manually edit any previously computed audi...