Sciweavers

985 search results - page 117 / 197
» Abstract Interactions and Interaction Refinement in Model-Dr...
Sort
View
113
Voted
HCI
2007
15 years 5 months ago
A Tangible Game Interface Using Projector-Camera Systems
Abstract. We designed and implemented a tangible game interface using projector-camera systems. The system offers a simple and quick setup and economic design. The projection onto...
Peng Song, Stefan Winkler, Jefry Tedjokusumo
ICTAI
2010
IEEE
15 years 1 months ago
Multicriteria Reasoning Considering Reliability or Availability
Abstract--Reliability and/or availability are increasingly important aspects in the design of systems, especially networks and service offerings. Optimization here is a multi-crite...
Tarik Hadzic, Helmut Simonis
VW
2000
Springer
15 years 7 months ago
A Framework to Dynamically Manage Distributed Virtual Environments
Abstract. In this paper, we present the project Urbi et Orbi, a framework to dynamically manage distributed virtual environments (DVEs). This framework relies on a dedicated script...
Yoann Fabre, Guillaume Pitel, Laurent Soubrevilla,...
INTERACTIONS
2010
109views more  INTERACTIONS 2010»
15 years 2 months ago
The climate change habitability index
rate, the CCHI is defined abstractly as a metric that can be stated in ordinary language and diagrams that allows people to answer the following three questions related to sustaina...
Yue Pan, Chit Meng Cheong, Eli Blevis
149
Voted
FM
2009
Springer
154views Formal Methods» more  FM 2009»
15 years 1 months ago
Specification and Verification of Web Applications in Rewriting Logic
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
María Alpuente, Demis Ballis, Daniel Romero