10585 search results - page 1687 / 2117 » The Orc Programming Language |
190
Voted
AOSD
2011
ACM
15 years 3 days ago
2011
ACM
The domain of operating systems has often been mentioned as an “ideal candidate” for the application of AOP; fundamental policies we find in these systems, such as synchroniz...
151
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
As Web sites are now ordinary products, it is necessary to explicit the notion of quality of a Web site. The quality of a site may be linked to the easiness of accessibility and a...
166
click to vote
WWW
2001
ACM
16 years 5 months ago
2001
ACM
This paper describes new technology based on on-line decision support for providing personalized customer treatments in web-based storefronts and information sites. The central im...
272
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
Transactional memory (TM) is a promising paradigm for concurrent programming. Whereas the number of TM implementations is growing, however, little research has been conducted to p...
276
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...