1714 search results - page 168 / 343 » Abstract Models of Memory Management |
147
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In order to make multithreaded programming manageable, programmers often follow a design principle where they break the problem into tasks which are then solved asynchron...
162
click to vote
DSOM
2006
Springer
15 years 10 months ago
2006
Springer
This paper describes an approach for application specific conflict prevention based on model-driven refinement of policies prior to deployment. Central to the approach is an algori...
201
click to vote
ASWC
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Semantic Web Services (SWS) aim to alleviate Web service limitations, by combining Web service technologies with the potential of Semantic Web. Several open issues have t...
167
click to vote
AIRS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We propose a semantic tagger that provides high level concept information for phrases in clinical documents. It delineates such information from the statements written by...
164
click to vote
CONCUR
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...