Sciweavers

176 search results - page 27 / 36
» Predictor models in software engineering (PROMISE)
Sort
View
151
Voted
ISSTA
2012
ACM
13 years 4 months ago
ViewPoints: differential string analysis for discovering client- and server-side input validation inconsistencies
Since web applications are easily accessible, and often store a large amount of sensitive user information, they are a common target for attackers. In particular, attacks that foc...
Muath Alkhalaf, Shauvik Roy Choudhary, Mattia Fazz...
AOSD
2004
ACM
15 years 7 months ago
Virtual machine support for dynamic join points
A widespread implementation approach for the join point mechanism of aspect-oriented languages is to instrument areas in code that match the static part of pointcut designators, i...
Christoph Bockisch, Michael Haupt, Mira Mezini, Kl...
135
Voted
TCBB
2011
14 years 8 months ago
Learning Genetic Regulatory Network Connectivity from Time Series Data
Recent experimental advances facilitate the collection of time series data that indicate which genes in a cell are expressed. This paper proposes an efficient method to generate th...
Nathan A. Barker, Chris J. Myers, Hiroyuki Kuwahar...
FASE
2011
Springer
14 years 5 months ago
Automated Learning of Probabilistic Assumptions for Compositional Reasoning
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
Lu Feng, Marta Z. Kwiatkowska, David Parker
IUI
1998
ACM
15 years 6 months ago
Coherent Gestures, Locomotion, and Speech in Life-like Pedagogical Agents
Life-likeanimatedinterfaceagentsforknowledge-basedlearning environments can provide timely, customized advice to support students’ problem solving. Because of their strong visua...
Stuart G. Towns, Jennifer L. Voerman, Charles B. C...