1128 search results - page 109 / 226 » Little Engines of Proof |
117
Voted
ESE
2008
15 years 25 days ago
2008
Test-driven development (TDD) is a software development practice that has been used sporadically for decades. With this practice, a software engineer cycles minute-by-minute betwee...
76
Voted
SIGMETRICS
2008
ACM
15 years 20 days ago
2008
ACM
We study the problem of guaranteeing data durability [2] in distributed storage systems based on replication. Our work is motivated by several several recent efforts [3, 5, 1] to ...
103
click to vote
HCI
2009
14 years 10 months ago
2009
Current tools for multidisciplinary teams in user-centered software engineering (UCSE) provide little support for the different approaches of the various disciplines in the project...
114
Voted
IPM
2011
14 years 4 months ago
2011
Abstract-Search engines, such as Google, assign scores to news articles based on their relevancy to a query. However, not all relevant articles for the query may be interesting to ...
125
click to vote
FC
2010
Springer
15 years 4 months ago
2010
Springer
—This paper discusses public-key authenticated key agreement protocols. First, we critically analyze several authenticated key agreement protocols and uncover various theoretical...