391 search results - page 35 / 79 » Code Improvements for Model Elimination Based Reasoning Syst... |
ECMDAFA
2011
Springer
13 years 14 days ago
2011
Springer
Abstract. Model-Driven Engineering (MDE) aims at improving the development of software systems. Within this context textual concrete syntaxes for models are beneficial for many re...
CCE
2004
13 years 8 months ago
2004
It is common that external procedures are incorporated into an equation-oriented model when modeling complex chemical process systems. The so-obtained models are called composite ...
CIMCA
2006
IEEE
14 years 3 months ago
2006
IEEE
On-line trading or Internet Commerce restoring to ECommerce systems are gradually replacing the traditional commerce activities. Internet users must have reasonable faith on the u...
ICCBR
2005
Springer
14 years 2 months ago
2005
Springer
This paper describes how CBR can be used to compare, reuse, and adapt inductive models that represent complex systems. Complex systems are not well understood and therefore require...
FTRTFT
2000
Springer
14 years 17 days ago
2000
Springer
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...