5634 search results - page 290 / 1127 » About Abstract Classes |
119
click to vote
CAV
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. TVLA is a parametric framework for shape analysis that can be easily instantiated to create different kinds of analyzers for checking properties of programs that use link...
141
Voted
FSTTCS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...
130
click to vote
VMCAI
2007
Springer
15 years 11 months ago
2007
Springer
We define the class of single-parent heap systems, which rely on a singly-linked heap in order to model destructive updates on tree structures. This encoding has the advantage of ...
172
click to vote
ICRA
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract—Unmanned aerial vehicles (UAVs) represent an important class of networked robotic applications that must be both highly dependable and autonomous. This paper addresses s...
145
click to vote
ICMCS
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract Secure video communication on mobile handheld devices is challenging mainly due to (a) the significant computational needs of both video coding and encryption algorithms ...