786 search results - page 134 / 158 » A static theory of promises |
107
click to vote
ECCV
2010
Springer
15 years 8 days ago
2010
Springer
In practice, rigid objects often move on a plane. The object then rotates around a fixed axis and translates in a plane orthogonal to this axis. For a concrete example, think of a...
113
click to vote
AOSD
2008
ACM
14 years 12 months ago
2008
ACM
Aspect-oriented software presents new challenges for the designers of static analyses. Our work aims to establish systematic foundations for dataflow analysis of AspectJ software....
ASPLOS
2008
ACM
14 years 12 months ago
2008
ACM
Industry vendors hesitate to disseminate proprietary applications to academia and third party vendors. By consequence, the benchmarking process is typically driven by standardized...
ESOP
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. There are many settings in which sensitive information is made available to a system or organisation for a specific purpose, on the understanding that it will be erased o...
WSC
1996
14 years 11 months ago
1996
Chain conveyors are a specific type of conveyor often used in a variety of manufacturing and production applications, such as body and paint shops. These conveyors must typically ...