16725 search results - page 2640 / 3345 » Engineering Software Correctness |
196
Voted
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
We propose a method to improve the results of image search engines on the Internet to satisfy users who desire to see relevant images in the first few pages. The method re-ranks ...
172
Voted
CEC
2007
IEEE
16 years 1 months ago
2007
IEEE
—Nature-inspired routing protocols are becoming an active area of research. Researchers in the community follow a wn engineering philosophy: inspire, abstract, design, develop an...
167
click to vote
ICECCS
2007
IEEE
16 years 1 months ago
2007
IEEE
— Modern online multiplayer games are complex heterogeneous distributed systems comprised of servers and untrusted clients, which are often engineered under considerable commerci...
195
click to vote
CSL
2007
Springer
16 years 1 months ago
2007
Springer
We consider the problem of automating and checking the use of previously proved lemmas in the proof of some main theorem. In particular, we call the collection of such previously p...
189
click to vote
VLDB
2007
ACM
16 years 1 months ago
2007
ACM
An increasing number of enterprises outsource their IT services to third parties who can offer these services for a much lower cost due to economy of scale. Quality of service is ...