4305 search results - page 491 / 861 » Analysing Protocol Implementations |
219
click to vote
KBSE
2006
IEEE
16 years 23 days ago
2006
IEEE
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...
167
click to vote
ITICSE
2006
ACM
16 years 21 days ago
2006
ACM
Professors often develop anecdotal guidelines about how each student’s past performance in their academic major relates to their performance in later courses. While these guidel...
146
click to vote
UIST
2006
ACM
16 years 21 days ago
2006
ACM
Existing augmentations of web pages are mostly small cosmetic changes (e.g., removing ads) and minor addition of third-party content (e.g., product prices from competing sites). N...
154
click to vote
ACSC
2005
IEEE
16 years 11 days ago
2005
IEEE
The iHealth Explorer tool, developed by CSIRO and DoHA, delivers web services type data mining and analytic facilities over a web interface, providing desktop access to sophistica...
155
click to vote
ECCB
2005
IEEE
16 years 11 days ago
2005
IEEE
Similarity Matrix of Proteins (SIMAP) (http://mips.gsf. 10 de/simap) provides a database based on a precomputed similarity matrix covering the similarity space formed by .4 millio...