102 search results - page 6 / 21 » Challenges in the Specification of Full Contracts |
154
click to vote
POPL
2003
ACM
15 years 10 months ago
2003
ACM
We present an interprocedural and compositional algorithm for finding pairs of compatible allocation sites, which have the property that no object allocated at one site is live at...
101
click to vote
MOBIHOC
2005
ACM
15 years 9 months ago
2005
ACM
Node compromise poses severe security threats in wireless sensor networks. Unfortunately, existing security designs can address only a small, fixed threshold number of compromised...
84
Voted
GIS
2002
ACM
14 years 9 months ago
2002
ACM
A very important class of queries in GIS applications is the class of K-Nearest Neighbor queries. Most of the current studies on the K-Nearest Neighbor queries utilize spatial ind...
IMC
2010
ACM
14 years 7 months ago
2010
ACM
Prior studies of Internet traffic have considered traffic at different resolutions and time scales: packets and flows for hours or days, aggregate packet statistics for days or we...
SACMAT
2009
ACM
15 years 4 months ago
2009
ACM
A number of research systems have demonstrated the benefits of accompanying each request with a machine-checkable proof that the request complies with access-control policy — a...