Sciweavers

1691 search results - page 223 / 339
» Creativity methods in interaction design
Sort
View
APSEC
2005
IEEE
15 years 11 months ago
Describing and Verifying Integrated Services of Home Network Systems
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
Pattara Leelaprute, Tatsuhiro Tsuchiya, Tohru Kiku...
HAPTICS
2005
IEEE
15 years 11 months ago
Haptic-Assisted Guidance System for Navigating Volumetric Data Sets
In this paper, a new approach for navigation assistance through sets of volumetric data is presented. This innovative method uses force feedback in two dimensions to guide the use...
Erick Méndez, Shunsuke Yoshida, Haruo Noma,...
ISORC
2005
IEEE
15 years 11 months ago
RMMC Programming Model and Support Execution Engine in the TMO Programming Scheme
: While the conventional remote method invocation mechanism has been considered for a long time as the primary approach for facilitating interactions among real-time objects, a mul...
K. H. (Kane) Kim, Yuqing Li, Sheng Liu, Moon-hae K...
SAFECOMP
2005
Springer
15 years 11 months ago
Justification of Smart Sensors for Nuclear Applications
This paper describes the results of a research study sponsored by the UK nuclear industry into methods of justifying smart sensors. Smart sensors are increasingly being used in the...
Peter G. Bishop, Robin E. Bloomfield, Sofia Guerra...
IWPC
2003
IEEE
15 years 10 months ago
Understanding Change-Proneness in OO Software through Visualization
During software evolution, adaptive, and corrective maintenance are common reasons for changes. Often such changes cluster around key components. It is therefore important to anal...
James M. Bieman, Anneliese Amschler Andrews, Helen...