3335 search results - page 86 / 667 » A Unified Approach to Modeling and Programming |
193
click to vote
DATE
2010
IEEE
15 years 4 months ago
2010
IEEE
—Model-Based Development (MBD) provides an al level of abstraction, the model, which lets engineers focus on the business aspect of the developed system. MBD permits automatic tr...
226
click to vote
HIS
2009
15 years 4 months ago
2009
Recent years have witnessed the wide recognition of the importance of ontology and rule in the AI research. In this paper, we report our implementation and evaluation of a rule-ba...
154
click to vote
EUSFLAT
2001
15 years 7 months ago
2001
The aim of this paper is to build a formal model for similarity-based fuzzy unification in multi-adjoint logic programs. Specifically, a general framework of logic programming whi...
186
click to vote
WSC
2007
15 years 8 months ago
2007
The composition and reuse of simulation model is currently a hot research topic in the area of complex system modeling and simulation. A unified simulation model representation is...
210
click to vote
CSL
2007
Springer
16 years 11 days ago
2007
Springer
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ï...