3706 search results - page 203 / 742 » The Transformational Approach to Program Development |
222
click to vote
POPL
2008
ACM
16 years 3 months ago
2008
ACM
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...
149
click to vote
IIE
2006
15 years 3 months ago
2006
In this paper, we present an open-source program visualization tool, Jeliot 3. We discuss the design principles and philosophy that gave rise to this successful e-learning tool and...
110
click to vote
IPPS
2008
IEEE
15 years 9 months ago
2008
IEEE
Java RMI extends Java with distributed objects whose methods can be called from remote clients. traction is supported using statically-generated proxy objects on the client to hid...
105
click to vote
AAAI
1994
15 years 4 months ago
1994
A variety of reactive plan execution systems have been developed in recent years, each attempting to solve the problem of taking reasonable courses of action fast enough in a dyna...
138
click to vote
MCS
2008
Springer
15 years 3 months ago
2008
Springer
In many real-life applications of optimal control problems with constraints in form of partial differential equations (PDEs), hyperbolic equations are involved which typically desc...