4770 search results - page 16 / 954 » Flexible Type Analysis |
ENTCS
2000
13 years 7 months ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
JOLLI
2006
13 years 7 months ago
2006
Applying the programming-language concept of continuations, we propose a new multimodal analysis of quantification in Type Logical Grammar. Our approach naturally gives rise to a n...
APSEC
1999
IEEE
13 years 12 months ago
1999
IEEE
Software architecture analysis helps us assess the quality of a software system at an early stage. In this paper we describe a case study of software architecture analysis that we...
CSDA
2006
13 years 7 months ago
2006
Flexible discriminant analysis (FDA) is a general methodology which aims at providing tools for multigroup non linear classification. It consists in a nonparametric version of dis...
ICRA
1993
IEEE
13 years 11 months ago
1993
IEEE
This work is focused on the analysis of manipulators with both joint and link flexibility. Due to the different order of joint and link stiffness, the full-order nonlinear system ...