Users have been demanding information “anytime, anywhere”. The notion of accessing diverse and autonomous information repositories with different APIs is not accepted. This ha...
We identify different levels of conformance to a protocol (weak, exhaustive, and robust conformance) and show how conformance may be either checked a priori or enforced at runtim...
Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Fran...
For reactive systems, a large collection of formal models has been developed. While the formal relationship between those models is often carefully analyzed, the methodical implica...
The correct and ecient management of data in distributed databases or mobile computing environments is dicult. Communication disruptions within such systems render the execution o...
Paul A. Jensen, Monica Brockmeyer, Nandit Soparkar
—Applying nonequilibrium statistical mechanics we focus on nonequilibrium corrections Δs to entropy and energy of the fluid in terms of the nonequilibrium density distribution f...