Sciweavers

2110 search results - page 139 / 422
» Delegation Modeling with Paradigm
Sort
View
MKM
2004
Springer
15 years 12 months ago
Predicate Logic with Sequence Variables and Sequence Function Symbols
We describe an extension of first-order logic with sequence variables and sequence functions. We define syntax, semantics and inference system for the extension so that Completen...
Temur Kutsia, Bruno Buchberger
CLUSTER
2003
IEEE
15 years 11 months ago
Performance Analysis of Java Message-Passing Libraries on Fast Ethernet, Myrinet and SCI Clusters
The use of Java for parallel programming on clusters according to the message-passing paradigm is an attractive choice. In this case, the overall application performance will larg...
Guillermo L. Taboada, Juan Touriño, Ramon D...
BPM
2003
Springer
121views Business» more  BPM 2003»
15 years 11 months ago
Towards a Library for Process Programming
Process programming is regarded as a critical approach in many cooperative process related areas including software engineering, workflow management, business process management, e...
Guangxin Yang
DEXAW
2002
IEEE
117views Database» more  DEXAW 2002»
15 years 11 months ago
Semantic Web and Knowledge Representation
In this paper, we suggest that it should be possible to come closer to the Semantic Web goals by enhancing the ontology paradigm and, in particular, by supplementing the ‘tradit...
Gian Piero Zarri
HICSS
2000
IEEE
137views Biometrics» more  HICSS 2000»
15 years 11 months ago
Putting the Parts Together - Concepts, Description Techniques, and Development Process for Componentware
We outline and clarify the essential concepts of the componentware paradigm. After motivating the role of formal foundations and introducing a number of useful description techniq...
Klaus Bergner, Andreas Rausch, Marc Sihling, Alexa...