7961 search results - page 396 / 1593 » Input-Output Model Programs |
207
click to vote
EPIA
1999
Springer
15 years 10 months ago
1999
Springer
OPL is a modeling language for mathematical programming and combinatorial optimization problems. It is the first modeling language to combine high-level algebraic and set notation...
151
click to vote
CAISE
2005
Springer
15 years 11 months ago
2005
Springer
Associations are a widely used construct of object-oriented languages. However, the meaning of associations for conceptual modelling of application domains remains unclear. This pa...
115
Voted
OOPSLA
2005
Springer
15 years 11 months ago
2005
Springer
Feature-based model templates have been proposed as a technique for modeling software product lines. We describe a set of tools supporting the technique, namely a feature model ed...
173
click to vote
JOT
2008
15 years 6 months ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
155
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
Recent efforts in adapting computer networks into system-on-chip (SOC), or network-on-chip, present a setback to the traditional computer systems for the lack of effective program...