2477 search results - page 90 / 496 » First-Order Interactive Programming |
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
A multi-agent system is a useful approach for the complex systems. One of the important concepts of multi-agent systems is cooperativeness, or interactions. However, existing lang...
CRYPTO
1991
Springer
14 years 15 days ago
1991
Springer
Recent results in interactive proof systems [?][?] [?] seem to indicate that it is easier for a prover in a single prover interactive proof system to cheat the verifier than it i...
INTERACT
2003
13 years 10 months ago
2003
: Collaboration between e-business partners happens online and without boundaries. The SAP Community is a platform for business people around the globe to connect, interact and sha...
VL
2003
IEEE
14 years 2 months ago
2003
IEEE
JAN is a system for animated execution of Java programs. Its application area is program understanding rather than debugging. To this end, the animation can be customized, both by...
LOPSTR
1997
Springer
14 years 1 months ago
1997
Springer
Abstract. We present an approach to a coherent program synthesis system which integrates a variety of interactively controlled and automated techniques from theorem proving and alg...