Sciweavers

7961 search results - page 123 / 1593

» Input-Output Model Programs

183

COMPSAC
2011
IEEE

251views Software Engineering» more COMPSAC 2011»

Conformance Checking with Constraint Logic Programming: The Case of Feature Models

14 years 2 months ago

Conformance Checking with Constraint Logic Programming: The Case of Feature Models

Download cri-dist.univ-paris1.fr

Raúl Mazo, Robert Erick Lopez-Herrejon, Cam...

claim paper

Read More »

159

ENASE
2011

227views Hardware» more ENASE 2011»

Transforming Attribute and Clone-enabled Feature Models into Constraint Programs over Finite Domains

14 years 2 months ago

Transforming Attribute and Clone-enabled Feature Models into Constraint Programs over Finite Domains

Download cri-dist.univ-paris1.fr

Raúl Mazo, Camille Salinesi, Daniel Diaz, A...

claim paper

Read More »

74

IFIP
2007
Springer

89views Programming Languages» more IFIP 2007»

Model Order Reduction for Nonlinear IC Models

15 years 9 months ago

Model Order Reduction for Nonlinear IC Models

Download alexandria.tue.nl

Arie Verhoeven, E. Jan W. ter Maten, Michael Strie...

claim paper

Read More »

91

WSC
2000

209views Modeling And Simulation» more WSC 2000»

Silk, Java and object-oriented simulation

15 years 4 months ago

Silk, Java and object-oriented simulation

Download www.informs-sim.org

Silk

Richard A. Kilgore

claim paper

Read More »

107

RAID
2005
Springer

108views Computer Networks» more RAID 2005»

Environment-Sensitive Intrusion Detection

15 years 8 months ago

Environment-Sensitive Intrusion Detection

Download www.cc.gatech.edu

We perform host-based intrusion detection by constructing a model from a program’s binary code and then restricting the program’s execution by the model. We improve the effecti...

Jonathon T. Giffin, David Dagon, Somesh Jha, Wenke...

claim paper

Read More »

« Prev « First page 123 / 1593 Last » Next »