Sciweavers

1709 search results - page 177 / 342
» Precise Modeling of Design Patterns
Sort
View
ELPUB
1999
ACM
15 years 6 months ago
A Structured Link Document as a New Means for Composing and Publishing Technical Customer Documentation in Extranets and Intrane
Internet technology together with the SGML based XML language family provide means to develop technical customer document management in inter-organisational industrial projects. T...
Anneli Heimbürger
GROUP
1997
ACM
15 years 6 months ago
Team automata for groupware systems
Team automata have been proposed in Ellis (1997) as a formal framework for modeling both the conceptual and the architectural level of groupware systems. Here we define team autom...
Clarence A. Ellis
ASIACRYPT
2001
Springer
15 years 5 months ago
Provably Authenticated Group Diffie-Hellman Key Exchange - The Dynamic Case
Dynamic group Diffie-Hellman protocols for Authenticated Key Exchange (AKE) are designed to work in a scenario in which the group membership is not known in advance but where parti...
Emmanuel Bresson, Olivier Chevassut, David Pointch...
ICASSP
2010
IEEE
15 years 2 months ago
A shape-based framework to segmentation of tongue contours from MRI data
DIn this paper 1 , we propose a shape-based variational framework to curve evolution for the segmentation of tongue contours from MRI mid-sagittal images. In particular, we first...
Ting Peng, Erwan Kerrien, Marie-Odile Berger
VTS
1999
IEEE
71views Hardware» more  VTS 1999»
15 years 6 months ago
Test Generation for Ground Bounce in Internal Logic Circuitry
Ground bounce in internal circuitry is becoming an important design validation and test issue. In this paper a new circuit model for ground bounce in internal circuitry is propose...
Yi-Shing Chang, Sandeep K. Gupta, Melvin A. Breuer