4880 search results - page 679 / 976 » Mechanism Design by Creditability |
179
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...
191
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
We explore partial type-inference for System F based on type-containment. We consider both cases of a purely functional semantics and a call-by-value stateful semantics. To enable...
197
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
The irregularity in quality of wireless communication links poses significant research challenges in wireless sensor network design. Dynamic network conditions and environmental f...
221
click to vote
PERCOM
2005
ACM
16 years 6 months ago
2005
ACM
It is expected that more and more people will search the web when they are on the move. Though conventional search engines can be directly visited from mobile devices with web bro...
155
click to vote
PERCOM
2004
ACM
16 years 6 months ago
2004
ACM
People are an important part of many business processes. Current workflow-based implementations of business processes constrain users to the desktop environment; require them to p...