652 search results - page 65 / 131 » Deriving Specifications of Dependable Systems: toward a Meth... |
108
click to vote
IJCV
2007
14 years 10 months ago
2007
This paper tackles an important aspect of the variational problem underlying active contours: optimization by gradient flows. Classically, the definition of a gradient depends d...
BMCBI
2006
14 years 10 months ago
2006
Background: More and more disordered regions have been discovered in protein sequences, and many of them are found to be functionally significant. Previous studies reveal that dis...
CCS
2009
ACM
15 years 10 months ago
2009
ACM
Modern advanced botnets may employ a decentralized peer-to-peer overlay network to bootstrap and maintain their command and control channels, making them more resilient to traditi...
TNN
2008
14 years 10 months ago
2008
Abstract--This paper presents a full state feedback adaptive dynamic inversion method for uncertain systems that depend nonlinearly upon the control input. Using a specialized set ...
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
Requirements engineering (RE) is concerned with the identification of the goals to be achieved by the envisioned system, the operationalization of such goals into services and con...