3116 search results - page 244 / 624 » Positively dependent types |
152
click to vote
CHI
2007
ACM
16 years 6 months ago
2007
ACM
This paper presents results of an extensive long-term clickstream study of Web browser usage. Focusing on character and challenges of page revisitation, previous findings from sev...
171
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...
167
click to vote
PLPV
2010
ACM
16 years 3 months ago
2010
ACM
Some programs are doubly-generic. For example, map is datatypegeneric in that many different data structures support a mapping operation. A generic programming language like Gener...
159
click to vote
FCCM
2008
IEEE
16 years 22 days ago
2008
IEEE
The recent turmoil in global credit markets has demonstrated the need for advanced modelling of credit risk, which can take into account the effects of changing economic condition...
144
Voted
ICRA
2007
IEEE
16 years 17 days ago
2007
IEEE
—This paper studies the capabilities of a microrobotic platform, driven by vibrating motors, to generate and impart micromanipulation forces of desired type and magnitude. First,...