10159 search results - page 1814 / 2032 » System Design Validation Using Formal Models |
161
click to vote
FCCM
2009
IEEE
16 years 1 months ago
2009
IEEE
—Photodynamic therapy (PDT) is a method of treating cancer that combines light and light-sensitive drugs to selectively destroy cancerous tumours without harming the healthy tiss...
186
click to vote
MHCI
2009
Springer
16 years 1 months ago
2009
Springer
This paper summarizes value analysis of adopting technologysupported attendance control service in a primary school. The results are based on a case study that explored a 14-week ...
176
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Collaboration Engineering (CE) projects can run for months and can require substantial expenditures of effort and resources. CE is an approach to designing collaborative work prac...
187
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— Human-robot interaction (HRI) is now well enough understood to allow us to build useful systems that can function outside of the laboratory. We are studying longterm interactio...
194
click to vote
IUI
2005
ACM
16 years 4 days ago
2005
ACM
An expressive representation for location is an important component in many applications. However, while many location-aware applications can reason about space at the level of co...