Sciweavers

3379 search results - page 452 / 676
» Combinators for Interaction Nets
Sort
View
DIGRA
2003
Springer
15 years 12 months ago
How Videogames Express Ideas
What are the exact aspects of the videogame medium, the precise features or combinations of features that lend themselves to expressing ideas and meaning? To chart this out, I beg...
Matthew Weise
ESOP
2003
Springer
15 years 12 months ago
Using Controller-Synthesis Techniques to Build Property-Enforcing Layers
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...
Karine Altisen, Aurélie Clodic, Florence Ma...
FATES
2003
Springer
15 years 12 months ago
Using a Software Testing Technique to Improve Theorem Proving
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
Reiner Hähnle, Angela Wallenburg
HUC
2003
Springer
15 years 12 months ago
Building World Models by Ray-Tracing within Ceiling-Mounted Positioning Systems
Context-aware computing in location-aware environments demands the combination of real world position with a computational world model to infer context. We present a novel approach...
Robert K. Harle, Andy Hopper
HUC
2003
Springer
15 years 12 months ago
Tools for Studying Behavior and Technology in Natural Settings
Abstract. Three tools for acquiring data about people, their behavior, and their use of technology in natural settings are described: (1) a context-aware experience sampling tool, ...
Stephen S. Intille, Emmanuel Munguia Tapia, John R...