2043 search results - page 1 / 409 » A convenient category of domains |
DAGSTUHL
2006
13 years 6 months ago
2006
We motivate and define a category of topological domains, whose objects are certain topological spaces, generalising the usual -continuous dcppos of domain theory. Our category su...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
In this paper, we show that the category of Mackey-complete, separated, topological convex bornological vector spaces and bornological linear maps is a differential category. Such...
ISIPTA
1999
IEEE
13 years 9 months ago
1999
IEEE
I introduce and study a fairly general imprecise secondorder uncertainty model, in terms of lower desirability. A modeller's lower desirability for a gamble is defined as her...
SOUPS
2006
ACM
13 years 10 months ago
2006
ACM
We describe Passpet, a tool that improves both the convenience and security of website logins through a combination of techniques. Password hashing helps users manage multiple acc...
INTERNET
2008
13 years 4 months ago
2008
ion. First described in RFC 707,1 with implementation approaches and details later provided by Andrew Birrell and Bruce Nelson,2 RPC has influenced distributed systems research and...