4917 search results - page 346 / 984 » Software Engineering is Not Computer Science |
122
click to vote
SIGSOFT
2004
ACM
16 years 4 months ago
2004
ACM
This paper introduces declarative event patterns (DEPs) as a means to implement protocols while improving their traceability, comprehensibility, and maintainability. DEPs are desc...
142
click to vote
DAC
1997
ACM
15 years 8 months ago
1997
ACM
This paper examines the problem of statically analyzing the performance of embedded software. This problem is motivated by the increasing growth of embedded systems and a lack of ...
137
click to vote
FAC
2006
15 years 4 months ago
2006
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
118
click to vote
TRUST
2010
Springer
15 years 9 months ago
2010
Springer
All practical software hardening schemes, as well as practical encryption schemes, e.g., AES, were not proven to be secure. One technique to enhance security is robust combiners. A...
128
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Molecular biologists work with DNA databases that often include entire genomes. A common requirement is to search a DNA database to find exact matches for a nondegener...