Sciweavers

77016 search results - page 172 / 15404
» Modeling Modeling
Sort
View
ICSM
2005
IEEE
16 years 2 hour ago
Context-Free Slicing of UML Class Models
In the work presented here, we introduce a method to automatically generate a subset of a UML class model based on a user-defined criterion. The goal of this work is to allow us to...
Huzefa H. Kagdi, Jonathan I. Maletic, Andrew Sutto...
JSYML
2002
66views more  JSYML 2002»
15 years 6 months ago
The Strict Order Property and Generic Automorphisms
If T is a model complete theory with the strict order property, then the theory of the models of T with an automorphism has no model companion.
Hirotaka Kikyo, Saharon Shelah
WSC
1998
15 years 7 months ago
Input Modeling Tools for Complex Problems
A simulation model is composed of inputs and logic; the inputs represent the uncertainty or randomness in the system, while the logic determines how the system reacts to the uncer...
Barry L. Nelson, Michael Yamnitsky
SADFE
2007
IEEE
16 years 20 days ago
Toward Models for Forensic Analysis
The existing solutions in the field of computer forensics are largely ad hoc. This paper discusses the need for a rigorous model of forensics and outlines qualities that such a m...
Sean Peisert, Matt Bishop, Sidney Karin, Keith Mar...
IJCAT
2010
132views more  IJCAT 2010»
15 years 4 months ago
Using weaving models to automate model-driven web engineering proposals
The impact of Model-Driven Software Development in Web Engineering has given raise to the advent of Model-Driven Web Engineering, a new approach for Web Information Systems develop...
Juan M. Vara, Valeria de Castro, Marcos Didonet De...
« Prev « First page 172 / 15404 Last » Next »