Sciweavers

2106 search results - page 240 / 422
» Specifying C concepts
Sort
View
CCS
2008
ACM
15 years 8 days ago
SOMA: mutual approval for included content in web pages
Unrestricted information flows are a key security weakness of current web design. Cross-site scripting, cross-site request forgery, and other attacks typically require that inform...
Terri Oda, Glenn Wurster, Paul C. van Oorschot, An...
90
Voted
ESEM
2007
ACM
15 years 1 days ago
Assessing, Comparing, and Combining Statechart- based testing and Structural testing: An Experiment
An important number of studies have addressed the importance of models in software engineering, mainly in the design of robust software systems. Although models have been proven t...
Samar Mouchawrab, Lionel C. Briand, Yvan Labiche
DIS
2008
Springer
15 years 1 days ago
Feature Selection in Taxonomies with Applications to Paleontology
Taxonomies for a set of features occur in many real-world domains. An example is provided by paleontology, where the task is to determine the age of a fossil site on the basis of t...
Gemma C. Garriga, Antti Ukkonen, Heikki Mannila
81
Voted
CIMAGING
2008
104views Hardware» more  CIMAGING 2008»
14 years 11 months ago
MCMC curve sampling and geometric conditional simulation
We present an algorithm to generate samples from probability distributions on the space of curves. Traditional curve evolution methods use gradient descent to find a local minimum...
Ayres C. Fan, John W. Fisher III, Jonathan Kane, A...
SODA
2008
ACM
86views Algorithms» more  SODA 2008»
14 years 11 months ago
Parallel monotonicity reconstruction
We investigate the problem of monotonicity reconstruction, as defined in [3], in a parallel setting. We have oracle access to a nonnegative real-valued function f defined on domai...
Michael E. Saks, C. Seshadhri