1940 search results - page 323 / 388 » The Dynamic Logic of Permission |
177
click to vote
DLS
2008
15 years 7 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...
207
click to vote
POPL
2011
ACM
14 years 8 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...
190
click to vote
MOBIHOC
2007
ACM
16 years 5 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 ...
175
click to vote
EUROSYS
2007
ACM
16 years 2 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...
174
click to vote
LCTRTS
2007
Springer
15 years 11 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...