4591 search results - page 353 / 919 » The Global Computer |
149
click to vote
CONCUR
2005
Springer
16 years 8 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 ...
152
click to vote
DSOM
2005
Springer
16 years 8 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...
143
click to vote
ISMIR
2005
Springer
16 years 7 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...
175
click to vote
SPIRE
2005
Springer
16 years 6 days ago
2005
Springer
We introduce a normalized version of the LCS metric as a new local similarity measure for comparing two RNAs. An O(n2 m lg m) time algorithm is presented for computing the maximum ...
269
click to vote
GCC
2004
Springer
16 years 3 days ago
2004
Springer
The Grid promises improvements in the effectiveness with which global businesses are managed, if it enables distributed expertise to be efficiently applied to the analysis of dist...