Sciweavers

8492 search results - page 492 / 1699
» Modelling and Design of Multi-Agent Systems
Sort
View
INFOVIS
2003
IEEE
16 years 10 days ago
Design Choices when Architecting Visualizations
In this paper, we focus on some of the key design decisions we faced during the process of architecting a visualization system and present some possible choices, with their associ...
Diane Tang, Chris Stolte, Robert Bosch
DIMEA
2008
164views Multimedia» more  DIMEA 2008»
15 years 8 months ago
Lessons learned: game design for large public displays
This paper presents the design and deployment of Polar Defence, an interactive game for a large public display. We designed this display based on a model of "users" and ...
Matthias Finke, Anthony Tang, Rock Leung, Michael ...
ISORC
1999
IEEE
15 years 11 months ago
v-Promela: A Visual, Object-Oriented Language for SPIN
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
Stefan Leue, Gerard J. Holzmann
GLVLSI
2009
IEEE
154views VLSI» more  GLVLSI 2009»
16 years 1 months ago
Design of a maximum-likelihood detector for cooperative communications in intersymbol interference channels
Recently, cooperative communication has attracted a lot of attention for its potential to increase spatial diversity. However, limited attention has been paid to the physical laye...
Yanjie Peng, Andrew G. Klein, Xinming Huang
ER
1998
Springer
106views Database» more  ER 1998»
15 years 11 months ago
Chrono: A Conceptual Design Framework for Temporal Entities
Abstract. Database applications are frequently faced with the necessity of representing time varying information and, particularly in the management of information systems, a few k...
Sonia Bergamaschi, Claudio Sartori