9370 search results - page 1698 / 1874 » An Abstract Notion of Application |
179
click to vote
CADE
2009
Springer
16 years 20 days 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 ...
178
click to vote
NCA
2009
IEEE
16 years 18 days 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...
151
click to vote
LICS
2009
IEEE
16 years 16 days 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 ...
152
click to vote
IEAAIE
2009
Springer
16 years 13 days 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...
165
click to vote
MEMBRANE
2009
Springer
16 years 13 days 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...