4516 search results - page 166 / 904 » Automated System Design for Availability |
117
click to vote
AUTOMATICA
2007
15 years 4 months ago
2007
— We consider a formation control system where individual systems are controlled by a path-following design and the path variables are to be synchronized. We first show a passiv...
124
click to vote
DSS
2000
15 years 4 months ago
2000
This paper describes novel market-based technologies that uniquely establish quantifiable and adjustable limits on the power of attackers, enable verifiable accountability for mal...
120
click to vote
MVA
2000
15 years 5 months ago
2000
The present paper proposes a new concept of image processing method based on vector representation for visual inspection test. The method was applied to detect defects and extract...
298
click to vote
DLOG
2011
14 years 8 months ago
2011
In this paper we present a formal framework and tool supporting the user in the task of formulating a precise query – which best captures their information needs – even in the ...
145
click to vote
HASE
1998
IEEE
15 years 8 months ago
1998
IEEE
Transforming software requirements into a software design involves the iterative partition of a solution into software components. The process is human-intensive and does not guar...