We introduce the concept of “residual investigation” for program analysis. A residual investigation is a dynamic check installed as a result of running a static analysis that ...
Kaituo Li, Christoph Reichenbach, Christoph Csalln...
Abstract—Hala is a bilingual (Arabic and English) culturallysensitive robot receptionist located at Carnegie Mellon University in Qatar. We report results from Hala’s deploymen...
Inherent complexity of the e-Government application domain is also reflected in the workflows of e-Government service provision. This paper reports on how some real examples e-Gove...
Background: Circadian rhythm is a crucial factor in orchestration of plant physiology, keeping it in synchrony with the daylight cycle. Previous studies have reported that up to 1...
Fundamental nano-patterns are simple, static, binary properties of Java methods, such as ObjectCreator and Recursive. We present a provisional catalogue of 17 such nano-patterns. ...