581 search results - page 19 / 117 » In case you missed it |
SP
2010
IEEE
14 years 1 months ago
2010
IEEE
—Dynamic taint analysis and forward symbolic execution are quickly becoming staple techniques in security analyses. Example applications of dynamic taint analysis and forward sym...
APN
2006
Springer
14 years 1 months ago
2006
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, given...
LREC
2008
2008
What would you Ask a conversational Agent? Observations of Human-Agent Dialogues in a Museum Setting
13 years 11 months ago
Embodied Conversational Agents have typically been constructed for use in limited domain applications, and tested in very specialized environments. Only in recent years have there...
GRID
2008
Springer
13 years 11 months ago
2008
Springer
Network performance measurement and prediction is one of the most prominent and indispensable components in distributed computing environments. The selection of the most advantage...
ACMSE
2009
ACM
14 years 4 months ago
2009
ACM
Most modern microprocessor-based systems provide support for superpages both at the hardware and software level. Judicious use of superpages can significantly cut down the number...