4418 search results - page 566 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
199
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
175
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Structure and motion estimation from long image sequences is a an important and difficult problem in computer vision. We propose a novel approach based on nonlinear and adaptive ...
213
click to vote
SOICT
2010
15 years 1 months ago
2010
Protecting data by passwords in documents such as DOC, PDF or RAR, ZIP archives has been demonstrated to be weak under dictionary attacks. Time for recovering the passwords of suc...
170
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
Although ethnography has become a common approach in HCI research and design, considerable confusion still attends both ethnographic practice and the criteria by which it should b...
180
click to vote
ISORC
2006
IEEE
16 years 22 days ago
2006
IEEE
Service overlays that support distributed stream processing applications are increasingly being deployed in wide-area environments. The inherent heterogeneous, dynamic and large-s...