Sciweavers

7213 search results - page 280 / 1443
» Automated model grouping
Sort
View
LPNMR
2009
Springer
16 years 1 months ago
Layer Supported Models of Logic Programs
Building upon the 2-valued Layered Models semantics for normal programs, we introduce a refinement — the Layer Supported Models semantics — which, besides keeping all of LMs...
Luís Moniz Pereira, Alexandre Miguel Pinto
ICCBR
2007
Springer
16 years 25 days ago
The Role of Context Models in Association with Flexible Design Processes - Position Paper
In this position paper, we discuss the interdependencies of context models and flexible design processes in the chip industry. We illustrate this by an ontology-based context model...
Mirjam Minor, Daniel Schmalen, Andreas Koldehoff
ECMDAFA
2009
Springer
111views Hardware» more  ECMDAFA 2009»
15 years 4 months ago
Experiences of Developing a Network Modeling Tool Using the Eclipse Environment
Domain-specific modeling solutions have been promoted for some time in order to improve the productivity of software developers by providing them with modeling environments that ar...
Andy Evans, Miguel A. Fernández, Parastoo M...
SIMULATION
1998
83views more  SIMULATION 1998»
15 years 6 months ago
Libraries of Reusable Models: Theory and Application
Setting up a simulation model is more than writing down state equations and running them on a computer. A lot of conceptual information about the physics and engineering aspects o...
Arno Breunese, Jan L. Top, Jan F. Broenink, J. M. ...
LICS
1994
IEEE
15 years 10 months ago
Foundations of Timed Concurrent Constraint Programming
We develop a model for timed, reactive computation by extending the asynchronous, untimed concurrent constraint programming model in a simple and uniform way. In the spirit of pro...
Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta