5550 search results - page 763 / 1110 » Different Approaches to Proof Systems |
199
click to vote
TCAD
2002
15 years 6 months ago
2002
The paper presents a novel strategy aimed at modelling instruction energy consumption of 32-bits microprocessors. Differently from former approaches, the proposed instruction-level...
171
click to vote
TSE
2002
15 years 6 months ago
2002
This paper presents a new approach to software reliability modeling by grouping data into clusters of homogeneous failure intensities. This series of data clusters associated with...
175
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
Knowledge of relationships among categories is of the interest in different domains such as text classification, content analysis, and text mining. We propose and evaluate approac...
190
click to vote
NOMS
2010
IEEE
15 years 5 months ago
2010
IEEE
—PhoneFactor is a two-factor authentication service that combines the knowledge-based authenticator with an objectbased authenticator in which the object-based authenticator has ...
326
click to vote
VL
2010
IEEE
15 years 5 months ago
2010
IEEE
In recent years, systems have emerged that enable end users to “mash” together existing web services to build new web sites. However, little is known about how well end users ...