Sciweavers

4731 search results - page 272 / 947
» Securing Interactive Programs
Sort
View
ENTCS
2006
114views more  ENTCS 2006»
15 years 6 months ago
Stochastic Concurrent Constraint Programming
We present a stochastic version of Concurrent Constraint Programming (CCP), where we associate a rate to each basic instruction that interacts with the constraint store. We give a...
Luca Bortolussi
ATAL
2005
Springer
16 years 1 days ago
IOM/T: an interaction description language for multi-agent systems
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...
Takuo Doi, Yasuyuki Tahara, Shinichi Honiden
CRYPTO
1991
Springer
144views Cryptology» more  CRYPTO 1991»
15 years 10 months ago
Interactive Proofs with Space Bounded Provers
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...
Joe Kilian, Ronitt Rubinfeld
INTERACT
2003
15 years 7 months ago
SAP Community: Source for Business Interaction, Education, and Discussion
: 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...
Raimund Mollenhauer, Richard Nikolic
VL
2003
IEEE
151views Visual Languages» more  VL 2003»
15 years 11 months ago
JAN -Java animation for program understanding
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...
Klaus-Peter Löhr, André Vratislavsky