Sciweavers

7139 search results - page 1165 / 1428
» Language Engineering in Practice
Sort
View
SIAMNUM
2011
117views more  SIAMNUM 2011»
15 years 1 months ago
Construction and Convergence Study of Schemes Preserving the Elliptic Local Maximum Principle
We present a method to approximate (in any space dimension) diffusion equations with schemes having a specific structure; this structure ensures that the discrete local maximum a...
Jérôme Droniou, Christophe Le Potier
CCS
2011
ACM
14 years 6 months ago
The power of procrastination: detection and mitigation of execution-stalling malicious code
Malware continues to remain one of the most important security problems on the Internet today. Whenever an anti-malware solution becomes popular, malware authors typically react p...
Clemens Kolbitsch, Engin Kirda, Christopher Kruege...
IACR
2011
135views more  IACR 2011»
14 years 6 months ago
Charm: A framework for Rapidly Prototyping Cryptosystems
We describe Charm, an extensible framework designed for rapid prototyping of cryptographic systems that utilize the latest advances in cryptography, such as identity and attribute...
Joseph A. Akinyele, Matthew Green, Aviel D. Rubin
TVCG
2012
184views Hardware» more  TVCG 2012»
13 years 9 months ago
Spherical DCB-Spline Surfaces with Hierarchical and Adaptive Knot Insertion
—This paper develops a novel surface fitting scheme for automatically reconstructing a genus-0 object into a continuous parametric spline surface. A key contribution for making ...
Juan Cao, Xin Li, Zhonggui Chen, Hong Qin
SIGCSE
2009
ACM
194views Education» more  SIGCSE 2009»
16 years 7 months ago
Integrating pedagogical code reviews into a CS 1 course: an empirical study
Formal code inspections are employed by teams of professional software engineers to identify software defects and improve the quality of software. After reviewing a piece of code ...
Christopher D. Hundhausen, Anukrati Agrawal, Dana ...
« Prev « First page 1165 / 1428 Last » Next »