1759 search results - page 80 / 352 » A guide to membrane computing |
151
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present an analysis Trust Analysis Methodology for finding trust issues within pervasive computing systems. It is based on a systematic analysis of scenarios that des...
165
click to vote
CAV
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. We present an extrapolation with care set operator to accelerate termination of reachability computation with polyhedra. At the same time, a counterexample guided refine...
155
click to vote
IVA
2009
Springer
16 years 25 days ago
2009
Springer
In this paper, we present a study to evaluate the impact of adaptive feedback on the effectiveness of a pedagogical agent for an educational computer game. We compare a version of ...
150
click to vote
FC
2007
Springer
16 years 13 days ago
2007
Springer
In this paper, we investigate how existing theoretical contributions on usable security can serve to guide the design of a specific system. We illustrate how going through this the...
152
click to vote
DIGRA
2003
Springer
15 years 11 months ago
2003
Springer
The authors look at online tip exchanges as parts of gift economies created by the players and designers of console and online role-playing games in Taiwan. A group of experienced...