Sciweavers

9504 search results - page 324 / 1901
» Dynamic Substitution Model
Sort
View
DATE
2010
IEEE
142views Hardware» more  DATE 2010»
16 years 10 days ago
A modeling method by eliminating execution traces for performance evaluation
—This paper describes a system-level modeling method in UML for performance evaluation of embedded systems. The core technology of this modeling method is reverse modeling based ...
Kouichi Ono, Manabu Toyota, Ryo Kawahara, Yoshifum...
ICML
2007
IEEE
16 years 8 months ago
Hierarchical Gaussian process latent variable models
The Gaussian process latent variable model (GP-LVM) is a powerful approach for probabilistic modelling of high dimensional data through dimensional reduction. In this paper we ext...
Neil D. Lawrence, Andrew J. Moore
CSE
2009
IEEE
15 years 10 months ago
Development and Validation of an Agent-Based Simulation Model of Juvenile Delinquency
This paper describes the development and validation of a dynamic multi-agent model to simulate social learning of adolescence-limited criminal behaviour. The parameters of the age...
Tibor Bosse, Charlotte Gerritsen, Michel C. A. Kle...
CSFW
2003
IEEE
16 years 17 days ago
A Procedure for Verifying Security Against Type Confusion Attacks
A type confusion attack is one in which a principal accepts data of one type as data of another. Although it has been shown by Heather et al. that there are simple formatting conv...
Catherine Meadows
FOSSACS
2003
Springer
16 years 14 days ago
A Game Semantics for Generic Polymorphism
Genericity is the idea that the same program can work at many different data types. Longo, Milstead and Soloviev proposed to capture the inability of generic programs to probe th...
Samson Abramsky, Radha Jagadeesan