The use of rules in a distributed environment creates new challenges for the development of active rule execution models. In particular, since a single event can trigger multiple ...
Ying Jin, Susan Darling Urban, Suzanne W. Dietrich
— Concurrent process-oriented programming is a natural medium for simulating complex systems, particularly systems where many simple components interact in an environment (which ...
Fiona A. C. Polack, Paul S. Andrews, Adam T. Samps...
Abstract. Loosely speaking, an interactive proof is said to be zeroknowledge if the view of every “efficient” verifier can be “efficiently” simulated. An outstanding open ...
In a research and technology applicationproject at Bellcore, we used multidatabase transactions to model multisystem workflows of telecommunication applications. During the projec...
W. Woody Jin, Marek Rusinkiewicz, Linda Ness, Amit...
Concurrent programs are difficult to debug and verify because of the nondeterministic nature of concurrent executions. A particular concurrency-related bug may only show up under ...