5086 search results - page 356 / 1018 » The Power of Comparative Reasoning |
184
click to vote
KI
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. The aim of this paper is to present a formal semantics inspired by the notion of Mental Imagery, largely researched in Cognitive Science and Experimental Psychology, that...
186
click to vote
SEKE
2007
Springer
16 years 25 days ago
2007
Springer
Developing user interfaces for a heterogeneous environment is a difficult challenge. Partial distribution of the user interface is an event harder one. Specifically providing de...
172
click to vote
VMCAI
2007
Springer
16 years 24 days ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
200
click to vote
WWIC
2007
Springer
16 years 24 days ago
2007
Springer
Mobile Ad Hoc networks (MANETs) are susceptible to having their effective operation compromised by a variety of security attacks. Nodes may misbehave either because they are malici...
185
click to vote
LICS
2006
IEEE
16 years 22 days ago
2006
IEEE
Logical properties of iterations of relational structures are studied and these decidability results are applied to the model checking of a powerful extension of pushdown systems....