4894 search results - page 812 / 979 » Choices |
193
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
178
click to vote
ADHOCNOW
2009
Springer
16 years 1 months ago
2009
Springer
Abstract— Mobile wireless sensor networks have to be robust against the limitations of the underlying platform. While lightweight form factor makes them an attractive choice for ...
189
click to vote
XSYM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The eXtensible Markup Language (XML) provides a powerful and flexible means of encoding and exchanging data. As it turns out, its main advantage as an encoding format (n...
159
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
A major challenge within open markets is the ability to satisfy service demand with an adequate supply of service providers, especially when such demand may be volatile due to cha...
175
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
An important aspect of mechanism design in social choice protocols and multiagent systems is to discourage insincere and manipulative behaviour. We examine the computational compl...