Sciweavers

142 search results - page 10 / 29
» Program obfuscation: a quantitative approach
Sort
View
ICDE
2007
IEEE
193views Database» more  ICDE 2007»
14 years 9 months ago
Categorization and Optimization of Synchronization Dependencies in Business Processes
requirement. Furthermore, programming using sequence constructs normally produce nested structures and The current approachfor modeling synchronization in scattered code, especiall...
Qinyi Wu, Calton Pu, Akhil Sahai, Roger S. Barga
ACE
2004
182views Education» more  ACE 2004»
13 years 9 months ago
Learning to Program: Spreadsheets, Scripting and HCI
An examination of some recent programming texts indicates that the complexities of modern programming languages and environments have replaced the study of algorithms and programm...
Peter Warren
ASIAN
1998
Springer
105views Algorithms» more  ASIAN 1998»
13 years 11 months ago
Two Flavors of Offline Partial Evaluation
Abstract. Type-directed partial evaluation is a new approach to program specialization for functional programming languages. Its merits with respect to the traditional offline part...
Simon Helsen, Peter Thiemann
ICMCS
2006
IEEE
243views Multimedia» more  ICMCS 2006»
14 years 1 months ago
A Comparison of Three 3-D Facial Reconstruction Approaches
We compare three Computer Vision approaches to 3-D reconstruction, namely passive Binocular Stereo and active Structured Lighting and Photometric Stereo, in application to human f...
Alexander Woodward, Da An, Georgy L. Gimel'farb, P...
CJ
2010
150views more  CJ 2010»
13 years 5 months ago
Program Analysis Probably Counts
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...