Sciweavers

4356 search results - page 590 / 872
» Communicating Transactions - (Extended Abstract)
Sort
View
ESAW
2004
Springer
16 years 2 days ago
Modelling Flexible Social Commitments and Their Enforcement
Abstract. For over a decade, agent research has shown that social commitments support the definition of open multiagent systems by capturing the responsibilities that agents contr...
Philippe Pasquier, Roberto A. Flores, Brahim Chaib...
ESWS
2004
Springer
16 years 2 days ago
Reverse Engineering of Relational Databases to Ontologies
Abstract. We propose a novel approach to reverse engineering of relational databases to ontologies. Our approach is based on the idea that semantics of a relational database can be...
Irina Astrova
EUROPAR
2004
Springer
16 years 2 days ago
Task-Queue Based Hybrid Parallelism: A Case Study
Abstract. In this paper we report on our experiences with hybrid parallelism in PARDISO, a high-performance sparse linear solver. We start with the OpenMP-parallel numerical factor...
Karl Fürlinger, Olaf Schenk, Michael Hagemann
FMCO
2004
Springer
112views Formal Methods» more  FMCO 2004»
16 years 2 days ago
Probabilistic Linda-Based Coordination Languages
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
GC
2004
Springer
16 years 2 days ago
A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi
We describe the architecture and the implementation of the MIKADO software framework, that we call IMC (Implementing Mobile Calculi). The framework aims at providing the programmer...
Lorenzo Bettini, Rocco De Nicola, Daniele Falassi,...