677 search results - page 79 / 136 » Dependent Types from Counterexamples |
COCOON
2007
Springer
15 years 4 months ago
2007
Springer
The last decade witnessed the extensive studies of algorithms for data streams. In this model, the input is given as a sequence of items passing only once or a few times, and we ar...
HICSS
2006
IEEE
15 years 3 months ago
2006
IEEE
In building a successful website it is imperative that the design matches the organization’s objectives, which should be well defined. Clearly, different types of websites will ...
SOUPS
2006
ACM
15 years 3 months ago
2006
ACM
We introduce a new anti-phishing solution, the Web Wallet. The Web Wallet is a browser sidebar which users can use to submit their sensitive information online. It detects phishin...
AICCSA
2005
IEEE
15 years 3 months ago
2005
IEEE
—In the current research, we present an operation framework and protection mechanism to facilitate secure environment to protect mobile agents against tampering. The system depen...
CSB
2005
IEEE
15 years 3 months ago
2005
IEEE
When building predictors of disease state based on gene expression data, gene selection is performed in order to achieve a good performance and to identify a relevant subset of ge...