3799 search results - page 190 / 760 » An Engineering Approach to Formal Methods |
158
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Many different aspects of cellular signalling, trafficking and targeting mechanisms are mediated by interactions between proteins and peptides. Representative examples...
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
An advanced communication system, the FlexRay system, has been developed for future automotive applications. It consists of time-triggered clusters, such as drive-by-wire in cars,...
140
click to vote
IFM
1999
Springer
15 years 8 months ago
1999
Springer
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
144
click to vote
ECOWS
2009
Springer
15 years 11 months ago
2009
Springer
—This paper aims to present a method of creating architectures which allow monitoring occurrence of failure in Service oriented Architectures (SoA). The presented approach extend...
116
click to vote
ICRA
2000
IEEE
15 years 8 months ago
2000
IEEE
—In this paper, we introduce a new approach to fault detection for robot manipulators. The technique, which is based on the isolation of fault signatures via filtered torque pred...