7892 search results - page 290 / 1579 » Programming with Models |
120
Voted
EXPERT
2006
15 years 1 months ago
2006
on abstract principles that you can't easily apply in a formal, deductive fashion. So, the favorite tools of logicians and mathematicians, such as firstorder logic, aren'...
102
Voted
CORR
2000
Springer
15 years 1 months ago
2000
Springer
This paper illustrates how the diagram programming language DIAPLAN can be used to program visual systems. DIAPLAN is a visual rulebased language that is founded on the computation...
127
click to vote
ICA3PP
2005
Springer
15 years 7 months ago
2005
Springer
In the present work we describe architectural concepts of the distributed molecular simulation package GridMD. The main purpose of this work is to underline the construction patter...
108
Voted
TOOLS
2008
IEEE
15 years 8 months ago
2008
IEEE
Association between classes is a central construct in OO modeling. However, precise semantics of associations has not been defined, and only the most basic types are implemented i...
152
click to vote
AIME
2011
Springer
14 years 1 months ago
2011
Springer
This paper describes a novel methodological approach to identifying inconsistencies when concurrently using multiple clinical practice guidelines. We discuss how to construct a for...