6608 search results - page 1141 / 1322 » On the Completeness of Model Checking |
130
click to vote
MM
2009
ACM
15 years 11 months ago
2009
ACM
Programmable processors have great advantage over dedicated ASIC design under intense time-to-market pressure. However, realtime encoding of high-definition (HD) H.264 video (up t...
160
click to vote
SOUPS
2009
ACM
15 years 11 months ago
2009
ACM
Abstract: Today, most Internet applications still establish user authentication with traditional text based passwords. Designing a secure as well as a user-friendly password-based ...
124
Voted
AINA
2008
IEEE
15 years 11 months ago
2008
IEEE
— Opportunistic communication allows humans equipped with mobile devices to exchange information via a wireless link whenever they are nearby. This work examines the performance ...
158
click to vote
APSEC
2008
IEEE
15 years 11 months ago
2008
IEEE
Computer Aided Software Engineering tools represent one the main successes of software engineering in the past decades. They however need to be improved along several dimensions i...
156
click to vote
ASAP
2008
IEEE
15 years 11 months ago
2008
IEEE
Process technology has reduced in size such that it is possible to implement complete applicationspecific architectures as Systems-on-Chip (SoCs) using both Application-Specific I...