Sciweavers

3645 search results - page 371 / 729
» Implementing mapping composition
Sort
View
ICN
2005
Springer
16 years 8 days ago
Paradis-Net
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...
Guido Malpohl, Florin Isaila
UML
2005
Springer
16 years 7 days ago
Practical Declarative Model Transformation with Tefkat
We present Tefkat, an implementation of a language designed specically for the transformation of MOF models using patterns and rules. The language adopts a declarative paradigm, w...
Michael Lawley, Jim Steel
FORMATS
2004
Springer
16 years 4 days ago
Monitoring Temporal Properties of Continuous Signals
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...
Oded Maler, Dejan Nickovic
ICCS
2004
Springer
16 years 4 days ago
Hierarchical Matrix-Matrix Multiplication Based on Multiprocessor Tasks
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...
Sascha Hunold, Thomas Rauber, Gudula Rünger
208
Voted
MIDDLEWARE
2004
Springer
16 years 3 days ago
Security requirements in service oriented architectures for ubiquitous computing
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 ...
Domenico Cotroneo, Almerindo Graziano, Stefano Rus...