738 search results - page 85 / 148 » Object Orientation and Formal Techniques |
150
click to vote
PPOPP
2006
ACM
16 years 8 days ago
2006
ACM
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
217
click to vote
VMV
2001
15 years 7 months ago
2001
Given an accurate 3-D shape model of a scene, the motion parameters of a moving camera can be recovered with high accuracy using model-based motion estimation techniques. Shape er...
173
click to vote
GPCE
2007
Springer
16 years 15 days ago
2007
Springer
In this paper, we propose a domain-specific aspect language to prevent the denials of service caused by resource management. Our aspects specify availability policies by enforcin...
189
click to vote
CC
2009
Springer
15 years 4 months ago
2009
Springer
We present the architecture of the Rosser toolkit that allows optimisations to be specified in a domain specific language, then compiled and deployed towards optimising object prog...
174
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Complex Semantic Web (SW) services may have intricate data state, autonomous process behavior and concurrent interactions. The design of such SW service systems requires precise a...