5101 search results - page 488 / 1021 » Capturing Context Requirements |
171
click to vote
FDL
2005
IEEE
16 years 21 days ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
200
click to vote
ICECCS
2005
IEEE
16 years 20 days ago
2005
IEEE
Middleware enables distributed components to interact with each others in diverse and complex manners. Such interactions should be modeled at architecture level for controlling th...
176
click to vote
ICRA
2005
IEEE
16 years 20 days ago
2005
IEEE
— More and more work in the field of artificial olfaction considers the integration of olfaction onto robotic systems. An important part of this integration is providing the ro...
199
click to vote
ISCC
2005
IEEE
16 years 20 days ago
2005
IEEE
This position paper presents the trend of the research focus transition from mobility management to connectivity management, for the emerging pervasive and ubiquitous computing pa...
171
click to vote
ISMAR
2005
IEEE
16 years 20 days ago
2005
IEEE
This paper presents a set of Augmented Reality (AR) based interaction techniques for spatial analysis of medical datasets. Computer-aided medical planning tools such as our Virtua...