9370 search results - page 1698 / 1874 » An Abstract Notion of Application |
188
click to vote
CADE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...
194
click to vote
NCA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— The Virtual Node Layer (VNLayer) is a programtraction for Mobile Ad Hoc Networks (MANETs). It defines simple virtual servers at fixed locations in a network, addressi...
162
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. Ludics is peculiar in the panorama of game semantics: we first have the definition of interaction-composition and then we have semantical types, as a set of strategies ...
162
click to vote
IEAAIE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract Unipolar depression is a mental disorder characterized by a persistent low mood and loss of awareness or contentment in usual activities [1]. Despite the modern era of pha...
180
click to vote
MEMBRANE
2009
Springer
16 years 1 months ago
2009
Springer
em is a computing model, which abstracts from the way the living cells process chemical compounds in their compartmental structure. The regions defined by a membrane structure con...