1348 search results - page 53 / 270 » Keynote Address I |
158
click to vote
MSWIM
2009
ACM
15 years 10 months ago
2009
ACM
Host Identity Protocol (HIP) decouples IP addresses from higher layer Internet applications by proposing a new, cryptographic namespace for host identities. HIP has great potentia...
148
click to vote
CADE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...
111
click to vote
GRAPHITE
2005
ACM
15 years 9 months ago
2005
ACM
Drawing on paper is an experience which is still unmatched by any input device for drawing into a computer in terms of accuracy, dexterity and general pleasantness of use. This pa...
141
click to vote
KCAP
2005
ACM
15 years 9 months ago
2005
ACM
The need for collaboration arises in many activities required for effective problem solving and decision making. We are developing Angler, a web-services tool that supports collab...
173
click to vote
DEXA
2004
Springer
15 years 9 months ago
2004
Springer
Ambient Intelligence (AmI) is a vision of future Information Society, where people are surrounded by an electronic environment which is sensitive to their needs, personalized to th...