8154 search results - page 422 / 1631 » Understanding changes in use cases: A case study |
163
click to vote
PLILP
1995
Springer
15 years 10 months ago
1995
Springer
We use Girard's linear logic (LL) to produce a semantics for Gamma, a multiset transformation language. The semantics improves on the existing structured operational semantics...
167
click to vote
INTERACT
2007
15 years 8 months ago
2007
Active Learning in the classroom domain presents an interesting case for integrating physical and digital affordances. Traditional physical handouts and transparencies are giving w...
187
click to vote
ECOI
2008
15 years 7 months ago
2008
Successful transfer and uptake of qualitative reasoning technology for modelling and simulation in a variety of domains has been hampered by the lack of a structured methodology t...
174
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Today, people use multiple devices to fulfill their information needs. However, designers design each device individually, without accounting for the other devices that users may ...
171
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
A virtual plague is a process in which a behavior-affecting property spreads among characters in a Massively Multiplayer Online Game (MMOG). The MMOG individuals constitute a synt...