4048 search results - page 597 / 810 » Design Science, Engineering Science and Requirements Enginee... |
149
click to vote
HICSS
1998
IEEE
15 years 10 months ago
1998
IEEE
The design and implementation of a conceptual model, CAFE (a Categorization Assistant For E-mail), is described. The model supports the organization, searching, and retrieval of i...
179
click to vote
ICSM
2007
IEEE
16 years 24 days ago
2007
IEEE
Bioinformaticists use the Basic Local Alignment Search Tool (BLAST) to characterize an unknown sequence by comparing it against a database of known sequences, thus detecting evolu...
200
click to vote
AOSD
2003
ACM
15 years 11 months ago
2003
ACM
Middleware technologies such as Web Services, CORBA and DCOM have been very successful in solving distributed computing problems for a large family of application domains. As midd...
178
click to vote
WSDM
2010
ACM
16 years 3 months ago
2010
ACM
Sponsored search is a multi-billion dollar business that generates most of the revenue for search engines. Predicting the probability that users click on ads is crucial to sponsor...
177
click to vote
EMSOFT
2007
Springer
16 years 20 days ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...