19587 search results - page 3530 / 3918 » Systems Engineering for software Engineers |
185
click to vote
FSTTCS
2003
Springer
16 years 5 hour ago
2003
Springer
We prove the Needham-Schroeder-Lowe public-key protocol secure under real, active cryptographic attacks including concurrent protocol runs. This proof is based on an abstract crypt...
190
click to vote
FSTTCS
2003
Springer
16 years 5 hour ago
2003
Springer
Computational genomics involves comparing sequences based on “similarity” for detecting evolutionary and functional relationships. Until very recently, available portions of th...
218
click to vote
FSTTCS
2003
Springer
16 years 5 hour ago
2003
Springer
The Covering Steiner problem is a common generalization of the k-MST and Group Steiner problems. An instance of the Covering Steiner problem consists of an undirected graph with ed...
142
click to vote
MSR
2010
ACM
15 years 12 months ago
2010
ACM
Abstract—Development mailing lists play a central role in facilitating communication in open source projects. Since these lists frequently host design and project discussions, kn...
167
click to vote
MSR
2010
ACM
15 years 12 months ago
2010
ACM
—FLOSS distributions like RedHat and Ubuntu require a lot more complex infrastructures than most other FLOSS projects. In the case of community-driven distributions like Debian, ...