Sciweavers

1301 search results - page 165 / 261
» Specifications via Realizability
Sort
View
CORR
2008
Springer
105views Education» more  CORR 2008»
13 years 10 months ago
Integrating OPC Data into GSN Infrastructures
This paper presents the design and the implementation of an interface software component between OLE for Process Control (OPC) formatted data and the Global ...
Olivier Passalacqua, Eric Benoit, Marc-Philippe Hu...
DKE
2008
208views more  DKE 2008»
13 years 10 months ago
Deploying defeasible logic rule bases for the semantic web
Logic is currently the target of the majority of the upcoming efforts towards the realization of the Semantic Web vision, namely making the content of the Web accessible not only t...
Efstratios Kontopoulos, Nick Bassiliades, Grigoris...
APIN
2006
154views more  APIN 2006»
13 years 10 months ago
Service matching in agent systems
The problem of service and resource matching is being actively discussed currently as a new challenging task for the next generation of semantic discovery approaches for Web servic...
Anton Naumenko, Sergiy Nikitin, Vagan Y. Terziyan
IJHPCA
2008
75views more  IJHPCA 2008»
13 years 10 months ago
Towards Ultra-High Resolution Models of Climate and Weather
We present a speculative extrapolation of the performance aspects of an atmospheric general circulation model to ultra-high resolution and describe alternative technological paths...
Michael F. Wehner, Leonid Oliker, John Shalf
IWC
2006
99views more  IWC 2006»
13 years 10 months ago
A computer support tool for the early stages of architectural design
Even in the current computer age, there are still many important application areas, such as early architectural design, where traditional tools like sketching on paper continue to...
Dzmitry Aliakseyeu, Jean-Bernard Martens, Matthias...