1289 search results - page 210 / 258 » Semantic Annotations for WS-Policy |
132
click to vote
ESWS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The need for adaptive and personalized Rich Internet Application puts a new dimension to already existing approaches of Adaptive Hypermedia Systems. Instead of computing ...
123
click to vote
EUROPAR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We describe compiler and run-time optimisations for effective autoparallelisation of C++ programs on the Cell BE architecture. Auto-parallelisation is made easier by anno...
165
click to vote
FMCAD
2008
Springer
15 years 5 months ago
2008
Springer
We present a method for verifying information flow properties of software programs using inductive assertions and theorem proving. Given a program annotated with information flow a...
137
click to vote
ADBIS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. To meet the new, more sophisticated needs of decision makers, a new generation of BI systems is emerging. In this paper we focus on two enabling technologies for this new...
123
click to vote
GEOINFO
2007
15 years 5 months ago
2007
To carry ecologically-relevant biodiversity research, one must collect chunks of information on species and their habitats from a large number of institutions and correlate them us...