9110 search results - page 91 / 1822 » Formally-Based Design Evaluation |
115
click to vote
TMC
2012
13 years 8 days ago
2012
—Backoff misbehavior, in which a wireless node deliberately manipulates its backoff time, can induce significant network problems, such as severe unfairness and denial-of-servic...
INFOCOM
2012
IEEE
13 years 10 days ago
2012
IEEE
—We study error estimating codes with the goal of establishing better bounds for the theoretical and empirical overhead of such schemes. We explore the idea of using sketch data ...
DAC
2005
ACM
14 years 12 months ago
2005
ACM
This paper proposes a rapid and accurate evaluation scheme for cycle counts of a pipelined processor using evaluation reuse technique. Since exploration of an optimal processor is...
EG
2008
14 years 10 months ago
2008
: In the last decade many governments have created e-services in order to deliver instant and advanced services to their citizens. One of the major transactions between the state a...
CHI
2006
ACM
15 years 10 months ago
2006
ACM
In this paper we describe the development and initial testing of a tool for self-assessment of affect while interacting with computer systems: the Sensual Evaluation Instrument. W...