Sciweavers

2152 search results - page 127 / 431
» An Abstract Account of Composition
Sort
View
BILDMED
2008
103views Algorithms» more  BILDMED 2008»
15 years 8 months ago
Haptic Pulse Simulation for Virtual Palpation
Abstract. In this paper we propose a software-based approach to simulate the haptics of the human pulse. This effect can then be interactively explored by virtual palpation. The al...
Sebastian Ullrich, Joel Mendoza, Alexandre Ntouba,...
CRIWG
2007
15 years 8 months ago
Directions to Acknowledge Learners' Self-organization in CSCL Macro-scripts
Abstract. In this article we present a conceptual analysis of the notion of learners’ selforganization in CSCL macro-scripts. We highlight that taking into account selforganizati...
Pierre Tchounikine
DAIS
2006
15 years 7 months ago
A Versatile Kernel for Distributed AOP
Abstract. Aspect-Oriented Programming (AOP) promotes better separation of concerns in software systems by introducing aspects for the modular implementation of crosscutting concern...
Éric Tanter, Rodolfo Toledo
FUIN
2008
56views more  FUIN 2008»
15 years 6 months ago
Specification and Verification of Invariants by Exploiting Layers in OO Designs
Abstract. The layering that is present in many OO designs is not accounted for in current interpretations of invariants. We propose to make layers explicit in specifications and in...
Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper,...
FUIN
2006
120views more  FUIN 2006»
15 years 6 months ago
On the Axioms of Residuated Structures: Independence, Dependencies and Rough Approximations
Abstract. Several residuated algebras are taken into account. The set of axioms defining each structure is reduced with the aim to obtain an independent axiomatization. Further, th...
Davide Ciucci