Sciweavers

4731 search results - page 674 / 947
» Securing Interactive Programs
Sort
View
IE
2007
15 years 8 months ago
Evolving images for entertainment
Images are widely used in media contexts such as web design, games and video animation. The process of creating interesting images can be enjoyable if a useful tool is involved. I...
Qinying Xu, Daryl J. D'Souza, Victor Ciesielski
RTS
2006
129views more  RTS 2006»
15 years 6 months ago
Modeling out-of-order processors for WCET analysis
Estimating the Worst Case Execution Time (WCET) of a program on a given processor is important for the schedulability analysis of real-time systems. WCET analysis techniques typic...
Xianfeng Li, Abhik Roychoudhury, Tulika Mitra
AI
1999
Springer
15 years 6 months ago
Bucket Elimination: A Unifying Framework for Reasoning
Bucket elimination is an algorithmic framework that generalizes dynamic programming to accommodate many problem-solving and reasoning tasks. Algorithms such as directional-resolut...
Rina Dechter
JUCS
2010
107views more  JUCS 2010»
15 years 5 months ago
Systematic Unit Testing in a Read-eval-print Loop
: Lisp programmers constantly carry out experiments in a read-eval-print loop. The experimental activities convince the Lisp programmers that new or modified pieces of programs wo...
Kurt Nørmark
CHI
2009
ACM
16 years 7 months ago
A comprehensive study of frequency, interference, and training of multiple graphical passwords
Graphical password systems have received significant attention as one potential solution to the need for more usable authentication, but nearly all prior work makes the unrealisti...
Katherine Everitt, Tanya Bragin, James Fogarty, Ta...