5623 search results - page 829 / 1125 » Incremental Mechanism Design |
199
click to vote
ICSE
2008
IEEE-ACM
16 years 6 months ago
2008
IEEE-ACM
Software architectures have played a significant role in determining the success of software systems. In spite of impact of the architectures to the software development and, as a...
181
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...
195
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...
198
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...
224
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...