11573 search results - page 1924 / 2315 » Designing Relational Databases |
166
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
This paper presents AURA, a programming language for access control that treats ordinary programming constructs (e.g., integers and recursive functions) and authorization logic co...
174
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
The MLF type system by Le Botlan and R?emy (2003) is a natural extension of Hindley-Milner type inference that supports full firstclass polymorphism, where types can be of higher-...
138
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
Current languages allow a programmer to describe an interface only by enumerating its parts, possibly including other interfaces wholesale. Such languages cannot express relations...
145
click to vote
PERCOM
2007
ACM
16 years 5 months ago
2007
ACM
As devices become more reliant on battery power, it is essential to design energy efficient protocols. While there is a vast amount of research into power save protocols for unicas...
180
click to vote
PERCOM
2006
ACM
16 years 5 months ago
2006
ACM
Area based triggers denote notifications being generated if a mobile client changes its spatial relation to a defined area, e.g. if it enters or leaves it. By these triggers, new ...