2940 search results - page 345 / 588 » Relational Parametricity and Control |
174
click to vote
CONCUR
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
182
click to vote
FROCOS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
166
click to vote
GECCO
2007
Springer
16 years 22 days ago
2007
Springer
The bin packing problem (BPP) is a real-world problem that arises in different industrial applications related to minimization of space or time. The aim of this research is to au...
189
click to vote
ICCBR
2007
Springer
16 years 22 days ago
2007
Springer
We identify two fundamental points of utilizing CBR for an adaptive agent that tries to learn on the basis of trial and error without a model of its environment. The first link co...
180
click to vote
IWSOS
2007
Springer
16 years 22 days ago
2007
Springer
A routing protocol is designed considering a particular environment all the time which is not possible in the case of practical ad hoc networks. Because of the uncertainty in topol...