2673 search results - page 295 / 535 » Guided Static Analysis |
157
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
A common problem in many user studies is gathering natural user behavior unintrusively over a long period of time. We describe a methodology for conducting passive longitudinal st...
169
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— This paper presents a novel method for sensorbased exploration of unknown environments by a general robotic system equipped with multiple sensors. The method is based o...
212
click to vote
CAISE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Various approaches for services development in SOA propose business processes as a starting point. However, there is a lack of systematic methods for services identificat...
165
click to vote
UM
2009
Springer
16 years 1 months ago
2009
Springer
Navigating through the ever-changing information space is becoming increasingly difficult. Social navigation support is a technique for guiding users to interesting and relevant in...
176
click to vote
CF
2009
ACM
16 years 1 months ago
2009
ACM
SIMT (Single-Instruction Multiple-Thread) is an emerging programming paradigm for high-performance computational accelerators, pioneered in current and next generation GPUs and hy...