1341 search results - page 136 / 269 » Logic for Modeling Product Structure |
131
Voted
UM
2007
Springer
15 years 9 months ago
2007
Springer
Accurately recognizing users’ affective states could contribute to more productive and enjoyable interactions, particularly for task-oriented learning environments. In addition t...
121
Voted
CLEIEJ
2004
15 years 3 months ago
2004
An important premise of most of the contemporary methods for developing Software and Information Systems is that a good understanding of the application domain is essential for a ...
159
Voted
CONCUR
1997
Springer
15 years 7 months ago
1997
Springer
We apply the symbolic analysis principle to pushdown systems. We represent (possibly in nite) sets of con gurations of such systems by means of nite-state automata. In order to re...
108
click to vote
ENTCS
2002
15 years 3 months ago
2002
Call-by-push-value is a "semantic machine code", providing a set of simple primitives from which both the call-by-value and call-by-name paradigms are built. We present i...
133
click to vote
DAGSTUHL
2004
15 years 4 months ago
2004
ns to define the abstract modelling language that determines the structure of the models that are to be used a two-step meta-modelling approach turned out as most adequate. In the ...