Sciweavers

1691 search results - page 206 / 339
» Creativity methods in interaction design
Sort
View
HT
2007
ACM
15 years 9 months ago
Adaptive incremental browsing of ontology structure
We present a method for effective navigation in structure of large information spaces. The method employs incremental browsing of the information space structure and visualizes in...
Mária Bieliková, Michal Jemala
FMCO
2004
Springer
123views Formal Methods» more  FMCO 2004»
15 years 9 months ago
rCOS: Refinement of Component and Object Systems
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
Zhiming Liu, Jifeng He, Xiaoshan Li
IFM
2010
Springer
204views Formal Methods» more  IFM 2010»
15 years 4 months ago
Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems
This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on th...
John S. Fitzgerald, Peter Gorm Larsen, Ken Pierce,...
CHI
2005
ACM
16 years 6 months ago
Intelligent lighting for a better gaming experience
Lighting assumes many aesthetic and communicative functions in game environments that affect attention, immersion, visibility, and emotions. Game environments are dynamic and high...
Magy Seif El-Nasr, Joseph A. Zupko, Keith Miron
SMA
2009
ACM
219views Solid Modeling» more  SMA 2009»
16 years 10 days ago
Log-aesthetic space curve segments
For designing aesthetic surfaces, such as the car bodies, it is very important to use aesthetic curves as characteristic lines. In such curves, the curvature should be monotonical...
Norimasa Yoshida, Ryo Fukuda, Takafumi Saito