Sciweavers

8154 search results - page 422 / 1631
» Understanding changes in use cases: A case study
Sort
View
PLILP
1995
Springer
15 years 10 months ago
Local Linear Logic for Locality Consciousness in Multiset Transformation
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...
Hugh McEvoy, Pieter H. Hartel
INTERACT
2007
15 years 8 months ago
PaperCP: Exploring the Integration of Physical and Digital Affordances for Active Learning
Active Learning in the classroom domain presents an interesting case for integrating physical and digital affordances. Traditional physical handouts and transparencies are giving w...
Chunyuan Liao, François Guimbretière...
ECOI
2008
84views more  ECOI 2008»
15 years 7 months ago
Towards a structured approach to building qualitative reasoning models and simulations
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...
Bert Bredeweg, Paulo Salles, Anders Bouwer, Jochem...
CORR
2006
Springer
92views Education» more  CORR 2006»
15 years 6 months ago
Personal Information Ecosystems and Implications for Design
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 ...
Manas Tungare, Pardha S. Pyla, Manuel A. Pé...
CORR
2007
Springer
122views Education» more  CORR 2007»
15 years 6 months ago
Modeling Epidemic Spread in Synthetic Populations - Virtual Plagues in Massively Multiplayer Online Games
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...
Magnus Boman, Stefan J. Johansson