1356 search results - page 172 / 272 » The ideal of verified software |
143
click to vote
GROUP
2007
ACM
15 years 10 months ago
2007
ACM
This study examines dating strategies in Social Networking Sites (SNS) and the features that help participants achieve their dating goals. Qualitative data suggests the SNS featur...
150
click to vote
HASE
2007
IEEE
15 years 10 months ago
2007
IEEE
Automated verification plays an important role for high assurance software. This typically uses a pair of pre/post conditions as a formal (but possibly partial) specification of e...
140
click to vote
DEXAW
2004
IEEE
15 years 10 months ago
2004
IEEE
In this research, we investigated the everyday life of inpatients in a hospital. We found that family members want to meet with inpatients even if they are very busy with their wo...
170
click to vote
ETRICS
2006
15 years 10 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
150
click to vote
ASIACRYPT
2001
Springer
15 years 10 months ago
2001
Springer
One interesting and important challenge for the cryptologic community is that of providing secure authentication and identification for unassisted humans. There are a range of prot...