4285 search results - page 772 / 857 » Differential Behavioral Analysis |
JSAC
2010
13 years 9 months ago
2010
Abstract—When an emergency happens, public communication networks, including cellular networks, public switched telecommunication networks, and the Internet can be utilized to su...
JSC
2010
13 years 9 months ago
2010
We study the automated verification of pointer safety for heap-manipulating imperative programs with unknown procedure calls. Given a Hoare-style partial correctness specificati...
MATES
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. In this paper we focus on explaining to humans the behavior of autonomous agents, i.e., explainable agents. Explainable agents are useful for many reasons including scena...
PC
2010
13 years 9 months ago
2010
The fat-tree is one of the topologies most widely used to build high-performance parallel computers. However, they are expensive and difficult to build. In this paper we propose t...
RTAS
2010
IEEE
13 years 9 months ago
2010
IEEE
—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...