Sciweavers

1677 search results - page 113 / 336
» An Interactive Fur Modeling Technique
Sort
View
JUCS
2000
102views more  JUCS 2000»
15 years 6 months ago
Towards Two-Level Formal Modeling of Computer-Based Systems
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
Gabor Karsai, Greg Nordstrom, Ákos Lé...
EMISA
2002
Springer
15 years 6 months ago
DAWN for component based systems - just a different perspective
DAWN is technique for modelling and verifying network algorithms, which is based on Petri nets and temporal logic. In this paper, we present a different perspective of DAWN that al...
Ekkart Kindler
CHI
2005
ACM
16 years 6 months ago
Collective efficacy as a measure of community
As human-computer interaction increasingly focuses on mediated interactions among groups of individuals, there is a need to develop techniques for measurement and analysis of grou...
John M. Carroll, Mary Beth Rosson, Jingying Zhou
ISWC
1997
IEEE
15 years 10 months ago
Nomadic Radio: A Spatialized Audio Environment for Wearable Computing
This paper describes an on-going research project at the MIT Media Lab, exploring the use of auditory I/O as a primary interaction modality for wearable computing. Nomadic Radio i...
Nitin "Nick" Sawhney, Chris Schmandt
TOOLS
1991
IEEE
15 years 10 months ago
INGRID - an Object-Oriented Interface Builder
After a maturing process where models and architectures for User Interface Systems have been dened and generally accepted, the current expectations of researchers, developers and ...
Luís Carriço, Nuno Guimarães,...