1912 search results - page 234 / 383 » On the evaluation of argumentation formalisms |
152
click to vote
IPCCC
2006
IEEE
16 years 14 days ago
2006
IEEE
We present an approach to the question of evaluating worm defenses against future, yet unseen and possibly defense-aware worm behavior. Our scheme employs model checking to produc...
144
click to vote
MEMOCODE
2006
IEEE
16 years 13 days ago
2006
IEEE
Hand-held devices have rigid constraints regarding power dissipation and energy consumption. Whether a new functionality can be supported often depends upon its power requirements...
189
click to vote
ACL2
2006
ACM
16 years 12 days ago
2006
ACM
We have implemented parallelism primitives that permit an ACL2 programmer to parallelize execution of ACL2 functions. We (1) introduce logical definitions for these primitives, (...
130
click to vote
ASPDAC
2006
ACM
16 years 12 days ago
2006
ACM
— Lack of complete formal specification is one of the major obstacles for the deployment of model checking. Coverage estimation addresses this issue by revealing the unverified...
153
click to vote
IUI
2006
ACM
16 years 12 days ago
2006
ACM
In this paper we describe research on using eye-tracking data for on-line assessment of user meta-cognitive behavior during the interaction with an intelligent learning environmen...