4205 search results - page 58 / 841 » Typed Mobile Objects |
110
click to vote
POPL
1999
ACM
15 years 6 months ago
1999
ACM
Linking is a low-level task that is usually vaguely specified, if at all, by language definitions. However, the security of web browsers and other extensible systems depends cru...
241
click to vote
POPL
2008
ACM
16 years 2 months ago
2008
ACM
Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have...
118
click to vote
ECIS
2004
15 years 3 months ago
2004
Mobile technologies are argued to offer unprecedented opportunities for organizations and individuals. In order for organizations to be persuaded that investment in mobile technol...
109
click to vote
ISMAR
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper evaluates different display devices for selection or annotation tasks in augmented reality (AR). We compare three different display types – a head mounted display and...
114
click to vote
ACSC
2004
IEEE
15 years 5 months ago
2004
IEEE
Types are fundamental for enforcing levels of abstraction in modern high-level programming languages and their lower-level representations. However, some type-related features suc...