1052 search results - page 51 / 211 » Foundations for Virtual Types |
PLDI
2009
ACM
14 years 3 months ago
2009
ACM
In this paper, we initiate a formal study of security on Android: Google’s new open-source platform for mobile devices. Specifically, we present a core typed language to descri...
ENTCS
2007
13 years 9 months ago
2007
syntax and explicit substitutions Brigitte Pientka1 School of Computer Science McGill University Montreal, Canada This paper sketches a foundation for programming with higher-orde...
IVA
2009
Springer
14 years 1 months ago
2009
Springer
This paper presents a quest for the most suitable setting and method to assess the naturalness of the output of an existing algorithm for the generation of multimodal referring exp...
ISSA
2008
13 years 10 months ago
2008
Malicious software is prevalent in many forms with the potential for many types of malware to be downloaded while browsing the Internet using an unprotected system. The potential ...
IVEVA
2004
13 years 10 months ago
2004
This paper investigates how emotions, in this case fear, affect behaviour. We consider deer and sheep as exemplary flocking mammals. The paper also describes and applies a mechanis...