1714 search results - page 168 / 343 » Abstract Models of Memory Management |
108
Voted
CAV
2006
Springer
15 years 7 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...
126
Voted
DSOM
2006
Springer
15 years 7 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...
153
click to vote
ASWC
2008
Springer
15 years 5 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...
130
Voted
AIRS
2006
Springer
15 years 5 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...
134
Voted
CONCUR
2007
Springer
15 years 9 months 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...