Sciweavers

2268 search results - page 69 / 454
» The Essence of Form Abstraction
Sort
View
IWEC
2004
13 years 9 months ago
Live Role-Playing Games: Implications for Pervasive Gaming
Abstract. Live role-playing (LRP) games stand as powerful metaphorical models for the various digital and ubiquitous forms of entertainment that gather under the term pervasive gam...
Jennica Falk, Glorianna Davenport
SEC
2003
13 years 9 months ago
From Finite State Machines to Provably Correct Java Card Applets
Abstract This paper presents a systematic approach to developing Java Card applets and/or formal specifications for them, starting from descriptions in the form of finite state m...
Engelbert Hubbers, Martijn Oostdijk, Erik Poll
CORR
2010
Springer
150views Education» more  CORR 2010»
13 years 8 months ago
Dendritic Cells for Real-Time Anomaly Detection
Dendritic Cells (DCs) are innate immune system cells which have the power to activate or suppress the ystem. The behaviour of human DCs is abstracted to form an algorithm suitable...
Julie Greensmith, Uwe Aickelin
CORR
2010
Springer
108views Education» more  CORR 2010»
13 years 8 months ago
Using Coloured Petri Nets for design of parallel raytracing environment
Abstract. This paper deals with the parallel raytracing part of virtualreality system PROLAND, developed at the home institution of authors. It describes an actual implementation o...
Stefan Korecko, Branislav Sobota
CORR
2010
Springer
56views Education» more  CORR 2010»
13 years 8 months ago
Grammar-Based Geodesics in Semantic Networks
efined abstract representation of a semantic path that respects the ontological classes of a particular semantic network. A discrete "walker" utilizes the grammar to dete...
Marko A. Rodriguez, Jennifer H. Watkins