Grid computing is an emerging technology by which huge numbers of processors over the world create a global source of processing power. Their collaboration makes it possible to pe...
—Application of runtime monitoring to maintain the health of an embedded real-time software system requires that anomalous behavior be detected within a bounded time while preser...
This paper focuses on first-order logic (FO) extended by reachability predicates such that the expressiveness and hence decidability properties lie between FO and monadic second-o...
In context-aware computing, distributed information about entities, such as people, places and objects, is captured and made available to applications, which utilize this context....
We follow up on our research demonstrating that aerotactile information can enhance or interfere with accurate auditory perception, even among uninformed and untrained perceivers ...