7811 search results - page 365 / 1563 » computer 2004 |
202
click to vote
AWCC
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Because of emergence of Semantic Web, It make possible for machines to understand the meaning of resources on the Web. The widespread availability of machine understandab...
144
click to vote
BIRTHDAY
2004
Springer
16 years 2 days ago
2004
Springer
del based on (overlap) graphs. The latter is more abstract because the translation of legal strings into overlap graphs is not injective. In this paper we consider and solve the ov...
161
click to vote
COORDINATION
2004
Springer
16 years 2 days ago
2004
Springer
As a case study that illustrates our view on coordination and component-based software engineering, we present the design and implementation of a parallel constraint solver. The pa...
268
click to vote
FIDJI
2004
Springer
16 years 1 days ago
2004
Springer
We present a calculus for establishing non-interference of several Java threads running in parallel. The proof system is built atop an implemented sequential Java Dynamic Logic cal...
166
click to vote
PARA
2004
Springer
16 years 19 hour ago
2004
Springer
A general framework for structure-preserving model reduction by Krylov subspace projection methods is developed. The goal is to preserve any substructures of importance in the matr...