3799 search results - page 711 / 760 » An Engineering Approach to Formal Methods |
142
click to vote
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
- The current energy and environmental cost trends of datacenters are unsustainable. It is critically important to develop datacenter-wide power and thermal management (PTM) soluti...
126
click to vote
ISMVL
2010
IEEE
15 years 9 months ago
2010
IEEE
—The purpose of secure devices such as smartcards is to protect secret information against software and hardware attacks. Implementation of the appropriate protection techniques ...
132
click to vote
ACMDIS
2000
ACM
15 years 8 months ago
2000
ACM
This paper presents an exploratory process in which three industrial usability groups, in cooperation with HCI researchers, worked to reframe their own work practice. The usabilit...
164
Voted
ICTAI
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper presents a face detection technique and its applications in image retrieval. Even though this face detection method has relatively high false positives and low detectio...
146
Voted
AIRWEB
2006
Springer
15 years 7 months ago
2006
Springer
Spam pages on the web use various techniques to artificially achieve high rankings in search engine results. Human experts can do a good job of identifying spam pages and pages wh...