5775 search results - page 354 / 1155 » A Rationale-based Analysis Tool |
132
click to vote
FCCM
2003
IEEE
16 years 3 days ago
2003
IEEE
This paper introduces a design tool and its associated procedures for determining the sensitivity of outputs in a digital signal processing design to small errors introduced by ro...
146
click to vote
ICRA
2003
IEEE
16 years 2 days ago
2003
IEEE
This paper concerns the singuIariQ of the HALF parallel manipulato,: a novel three degrees offeedom (DoFs) mechanism, with revolute actuators. The parallel manipulato,: pmposedpre...
206
click to vote
CAISE
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. Information systems engineering for design or knowledge communities is characterized by the fact that these communities constantly monitor themselves and initiate repair ...
240
click to vote
DANCE
2002
IEEE
15 years 11 months ago
2002
IEEE
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...
148
click to vote
ACSAC
1999
IEEE
15 years 11 months ago
1999
IEEE
The Automatic Authentication Protocol Analyzer, 2nd Version AAPA2 is a fast, completely automatic tool for formally analyzing cryptographic protocols. It correctly identi es vulne...