9626 search results - page 1375 / 1926 » Invariant Based Programming |
207
click to vote
ISPA
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. This article presents the C++ library vShark which reduces the intranode communication overhead of parallel programs on clusters of SMPs. The library is built on top of m...
199
click to vote
MIDDLEWARE
2005
Springer
16 years 17 days ago
2005
Springer
In this paper, we present the concept of follow-me semantics of the large-scale pervasive application and discuss the features and services to its implementation based on the inte...
178
click to vote
RULEML
2005
Springer
16 years 17 days ago
2005
Springer
In this paper we argue that a realistic architecture for the Semantic Web must be based on multiple independent, but interoperable, stacks of languages. In particular, we argue tha...
181
click to vote
SEKE
2005
Springer
16 years 17 days ago
2005
Springer
The constant increase in use of geographic data in different application domains has resulted in large amounts of data stored in spatial databases and in the desire of data mining....
141
click to vote
SERA
2005
Springer
16 years 17 days ago
2005
Springer
: The techniques of meta-modeling and meta-levels have become a mature concept and have been largely used to solve real problems in programming languages, distributed environments,...