Sciweavers

1040 search results - page 97 / 208
» Tools for modeling and solving search problems
Sort
View
116
Voted
HCI
2009
14 years 10 months ago
Composing Visual Syntax for Domain Specific Languages
With the increasing interest in metamodeling techniques for Domain Specific Modeling Languages (DSML) definition, there is a strong need to improve the language modeling process. O...
Luis Pedro, Matteo Risoldi, Didier Buchs, Bruno Ba...
ICLP
1999
Springer
15 years 5 months ago
Logic Programming in Oz with Mozart
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (log...
Peter Van Roy
ECBS
2010
IEEE
147views Hardware» more  ECBS 2010»
15 years 6 months ago
Supporting Customizable Architectural Design Decision Management
—When engineering complex software systems, the key Architectural Design Decisions (ADD) and the reasoning underlying those decisions need to be fully understood by all stakehold...
Lianping Chen, Muhammad Ali Babar
94
Voted
CORR
2010
Springer
101views Education» more  CORR 2010»
15 years 23 days ago
Model-Driven Constraint Programming
Constraint programming can definitely be seen as a model-driven paradigm. The users write programs for modeling problems. These programs are mapped to executable models to calcula...
Raphaël Chenouard, Laurent Granvilliers, Rica...
115
Voted
EURODAC
1994
IEEE
211views VHDL» more  EURODAC 1994»
15 years 4 months ago
Advanced simulation and modeling techniques for hardware quality verification of digital systems
synchronisation also play a fundamental role in overall system robustness. ElectroMagnetic Compatibility (EMC) and ElectroMagnetic Interference (EMI) issues also have to be conside...
S. Forno, Stephen Rochel