2261 search results - page 36 / 453 » Dynamic types for authentication |
ENTCS
2008
13 years 8 months ago
2008
traction Kinds and Higher-Order Coercions Andreas Rossberg1 Max Planck Institute for Software Systems Saarbr
FOSSACS
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. We study the expressiveness of the join calculus by comparison with (generalised, coloured) Petri nets and using tools from type theory. More precisely, we consider four ...
FMOODS
2006
13 years 10 months ago
2006
Modern applications distributed across networks such as the Internet may need to evolve without compromising application availability. Object systems are well suited for runtime up...
IACR
2011
12 years 8 months ago
2011
—Cloud computing is a style of computing in which dynamically scalable and commonly virtualized resources are provided as a service over the Internet. This paper, first presents ...
ECOOP
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. The aim of component technology is the replacement of large monolithic applications with sets of smaller software components, whose particular functionality and interoper...