Sciweavers

167 search results - page 12 / 34
» Towards a Connector Algebra
Sort
View
JSYML
2002
81views more  JSYML 2002»
14 years 9 months ago
Group Configurations and Germs in Simple Theories
We develop the theory of germs of generic functions in simple theories. Starting with an algebraic quadrangle (or other similar hypotheses), we obtain an "almost" generic...
Itay Ben-Yaacov
CAGD
2004
136views more  CAGD 2004»
14 years 9 months ago
Clifford algebra, Lorentzian geometry, and rational parametrization of canal surfaces
We present a new approach toward the rational parametrization of canal surfaces. According to our previous work, every canal surface with rational (respectively polynomial)spine c...
Hee Cheol Cho, Hyeong In Choi, Song-Hwa Kwon, Doo ...
FSEN
2007
Springer
15 years 1 months ago
Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme
We formally specify the recent DRM scheme of Nair et al. in the
Muhammad Torabi Dashti, Srijith Krishnan Nair, Hug...
EHCI
2004
14 years 11 months ago
Towards a New Generation of Widgets for Supporting Software Plasticity: The "Comet"
This paper addresses software adaptation to context of use. It goes one step further than our early work on plasticity [5]. Here, we propose a revision of the notion of software pl...
Gaëlle Calvary, Joëlle Coutaz, Olfa D&ac...
COORDINATION
2000
Springer
15 years 2 months ago
Scripting Coordination Styles
Abstract. The fact that so many different kinds of coordination models and languages have been proposed suggests that no one single approach will be the best for all coordination p...
Franz Achermann, Stefan Kneubuehl, Oscar Nierstras...