1289 search results - page 210 / 258 » Semantic Annotations for WS-Policy |
ESWS
2008
Springer
13 years 11 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 ...
EUROPAR
2008
Springer
13 years 11 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...
FMCAD
2008
Springer
13 years 10 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...
ADBIS
2010
Springer
13 years 10 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...
GEOINFO
2007
13 years 10 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...