Sciweavers

102 search results - page 5 / 21
» A P2P Groupware Framework based on Operational Transformatio...
Sort
View
IAT
2003
IEEE
14 years 23 days ago
A Resource Based Framework for Planning and Replanning
We discuss a rigorous unifying framework for both planning and replanning, extending an existing logic-based approach to resource-based planning. The primitive concepts in this Ac...
Roman van der Krogt, Mathijs de Weerdt, Cees Witte...
CSCW
2002
ACM
13 years 7 months ago
A new dimension in access control: studying maintenance engineering across organizational boundaries
Inter-organizational cooperation has specific requirements for access control. The paper presents the results from a field study which looks at the cooperation between two enginee...
Gunnar Stevens, Volker Wulf
SAS
2007
Springer
14 years 1 months ago
Semantics-Based Transformation of Arithmetic Expressions
Floating-point arithmetic is an important source of errors in programs because of the loss of precision arising during a computation. Unfortunately, this arithmetic is not intuitiv...
Matthieu Martel
SOSYM
2010
107views more  SOSYM 2010»
13 years 5 months ago
A UML/OCL framework for the analysis of graph transformation rules
In this paper we present an approach for the analysis of graph transformation rules based on an intermediate OCL representation. We translate different rule semantics into OCL, to...
Jordi Cabot, Robert Clarisó, Esther Guerra,...
IRFC
2010
Springer
13 years 5 months ago
An Information Retrieval Model Based on Discrete Fourier Transform
Abstract. Information Retrieval (IR) systems combine a variety of techniques stemming from logical, vector-space and probabilistic models. This variety of combinations has produced...
Alberto Costa, Massimo Melucci