Sciweavers

7961 search results - page 123 / 1593

» Input-Output Model Programs

250

COMPSAC
2011
IEEE

251views Software Engineering» more COMPSAC 2011»

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

14 years 6 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 »

229

ENASE
2011

227views Hardware» more ENASE 2011»

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

14 years 6 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 »

112

IFIP
2007
Springer

89views Programming Languages» more IFIP 2007»

Model Order Reduction for Nonlinear IC Models

16 years 17 days 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 »

147

WSC
2000

209views Modeling And Simulation» more WSC 2000»

Silk, Java and object-oriented simulation

15 years 7 months ago

Silk, Java and object-oriented simulation

Download www.informs-sim.org

Silk

Richard A. Kilgore

claim paper

Read More »

153

RAID
2005
Springer

108views Computer Networks» more RAID 2005»

Environment-Sensitive Intrusion Detection

15 years 12 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 »