835 search results - page 30 / 167 » A calculus of challenges and responses |
CADE
2010
Springer
13 years 8 months ago
2010
Springer
iProver-Eq is an implementation of an instantiation-based calculus Inst-Gen-Eq which is complete for first-order logic with equality. iProver-Eq extends the iProver system with sup...
LISP
2008
13 years 7 months ago
2008
Automatic differentiation is a semantic transformation that applies the rules of differential calculus to source code. It thus transforms a computer program that computes a mathema...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
The stochastic simulation of biological systems is an increasingly popular technique in bioinformatics. It often is an enlightening technique, which may however result in being com...
ICMCS
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper we propose a system design for delivery of immersive communications to mobile wireless devices based on a distributed proxy model. It is demonstrated that this archi...
ARCS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Software applications executing in highly dynamic environments are faced with the challenge of frequent and usually unpredictable changes in their execution environment. ...