3645 search results - page 371 / 729 » Implementing mapping composition |
170
click to vote
ICN
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. This paper describes Paradis-Net, a typed event-driven messagepassing interface for designing distributed systems. Paradis-Net facilitates the development of both peer-to...
193
click to vote
UML
2005
Springer
16 years 27 days ago
2005
Springer
We present Tefkat, an implementation of a language designed speci cally for the transformation of MOF models using patterns and rules. The language adopts a declarative paradigm, w...
204
click to vote
FORMATS
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. In this paper we introduce a variant of temporal logic tailored for specifying desired properties of continuous signals. The logic is based on a bounded subset of the rea...
178
click to vote
ICCS
2004
Springer
16 years 24 days ago
2004
Springer
We consider the realization of matrix-matrix multiplication and propose a hierarchical algorithm implemented in a task-parallel way using multiprocessor tasks on distributed memory...
221
click to vote
MIDDLEWARE
2004
Springer
16 years 23 days ago
2004
Springer
This work presents a detailed analysis of the security requirements for Service Oriented Architecture in mobile computing, still missing in the current literature. The purpose of ...