1940 search results - page 323 / 388 » The Dynamic Logic of Permission |
106
click to vote
DLS
2008
15 years 1 months ago
2008
Static and dynamic type systems have well-known strengths and weaknesses. Gradual typing provides the benefits of both in a single language by giving the programmer control over w...
130
click to vote
POPL
2011
ACM
14 years 2 months ago
2011
ACM
ensitivity has emerged as an excellent context abstraction for points-to analysis in object-oriented languages. Despite its practical success, however, object-sensitivity is poorl...
121
click to vote
MOBIHOC
2007
ACM
15 years 11 months ago
2007
ACM
A prerequisite for secure communications between two sensor nodes is that these nodes exclusively share a pairwise key. Although numerous pairwise key establishment (PKE) schemes ...
108
click to vote
EUROSYS
2007
ACM
15 years 9 months ago
2007
ACM
Data centers are often under-utilized due to over-provisioning as well as time-varying resource demands of typical enterprise applications. One approach to increase resource utili...
106
click to vote
LCTRTS
2007
Springer
15 years 6 months ago
2007
Springer
Embedded systems serve an emerging and diverse set of applications. As a result, more computational and storage capabilities are added to accommodate ever more demanding applicati...