15777 search results - page 3060 / 3156 » Engineering in Software |
JCDL
2004
ACM
15 years 5 months ago
2004
ACM
Software tools, including Web browsers, e-books, electronic document formats, search engines, and digital libraries are changing the way people read, making it easier for them to ...
121
click to vote
EUROSYS
2006
ACM
15 years 9 months ago
2006
ACM
Peer-to-peer (p2p) technology can potentially be used to build highly reliable applications without a single point of failure. However, most of the existing applications, such as ...
105
click to vote
EUROSYS
2006
ACM
15 years 5 months ago
2006
ACM
K42 is one of the few recent research projects that is examining operating system design structure issues in the context of new whole-system design. K42 is open source and was des...
160
click to vote
PLDI
2005
ACM
15 years 5 months ago
2005
ACM
Robust and powerful software instrumentation tools are essential for program analysis tasks such as profiling, performance evaluation, and bug detection. To meet this need, we ha...
121
click to vote
ASE
2005
14 years 11 months ago
2005
Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constru...