5232 search results - page 123 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
136
click to vote
ENASE
2009
14 years 11 months ago
2009
Abstract. The design of dynamic discrete-event systems calls for adequate modeling formalisms and tools to manage possible changes occurring during system's lifecycle. A commo...
ICCAD
2007
IEEE
15 years 10 months ago
2007
IEEE
Modern processing technologies offer a number of types of devices such as high-VT , low-VT , thick-oxide, etc. in addition to the nominal transistor in order to meet system perfor...
137
click to vote
PG
2000
IEEE
15 years 6 months ago
2000
IEEE
PDE surfaces, whose behavior is governed by Partial Differential Equations (PDEs), have demonstrated many modeling advantages in surface blending, free-form surface modeling, and ...
174
click to vote
CAV
1999
Springer
15 years 6 months ago
1999
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...
118
click to vote
CNSR
2005
IEEE
15 years 7 months ago
2005
IEEE
In this paper, a modeling and simulation framework is proposed for generating data for training and testing intrusion detection systems. The framework can develop models of web us...