1733 search results - page 276 / 347 » The challenges of software engineering education |
138
click to vote
COMSWARE
2007
IEEE
16 years 12 days ago
2007
IEEE
Abstract— Long distance Wi-Fi links are cost effective alternative to provide internet and VoIP connectivity, in rural areas. In developing regions these low cost solutions have ...
175
click to vote
CC
2005
Springer
15 years 11 months ago
2005
Springer
CodeSurfer/x86 is a prototype system for analyzing x86 executables. It uses a static-analysis algorithm called value-set analysis (VSA) to recover intermediate representations that...
148
click to vote
DISCEX
2003
IEEE
15 years 11 months ago
2003
IEEE
Huge challenges exist with systems and networks that must dependably satisfy stringent requirements for security, reliability, and other attributes of trustworthiness. Drawing on ...
184
click to vote
DMIN
2009
15 years 3 months ago
2009
While the emerging field of privacy preserving data mining (PPDM) will enable many new data mining applications, it suffers from several practical difficulties. PPDM algorithms are...
206
click to vote
ACL2
2006
ACM
16 years 1 days ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...