10182 search results - page 1631 / 2037 » Case Studies |
200
click to vote
MFCS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The description of a single state of a modelled system is often complex in practice, but few procedures for synthesis address this problem in depth. We study systems in w...
190
click to vote
MHCI
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we introduce the design and implementation of a digital card game that combines mobile phone gestures and multitouch tabletop interactions. Conceptually based on in...
222
click to vote
SEKE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract—Stakeholders from several domains with local terminologies have to work together to develop and operate softwareintensive systems, like production automation systems. On...
203
click to vote
SGAI
2009
Springer
16 years 1 months ago
2009
Springer
Within the medical domain there are clear expectations as to how a patient should respond to treatments administered. When these responses are not observed it can be challenging fo...
180
click to vote
TABLEAUX
2009
Springer
16 years 1 months ago
2009
Springer
We study the logic of comparative concept similarity CSL introduced by Sheremet, Tishkovsky, Wolter and Zakharyaschev to capture a form of qualitative similarity comparison. In thi...