![]() ![]() ![]() | ![]() |
![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Note: Links lead to the DBLP on the Web. Tali Yatzkar-Haham 3 Asaf Adi , David Botzer , Opher Etzion , Tali Yatzkar-Haham: Monitoring Business Processes through Event Correlation based on Dependency Model. SIGMOD Conference 2001 2 Yael Abarbanel-Vinov , Neta Aizenbud-Reshef , Ilan Beer , Cindy Eisner , Daniel Geist , Tamir Heyman , Iris Reuveni , Eran Rippel , Irit Shitsevalov , Yaron Wolfsthal , Tali Yatzkar-Haham: On the Effective Deployment of Functional Formal Verification. Formal Methods in System Design 19 (1): 35-44 (2001) 1 Asaf Adi , David Botzer , Opher Etzion , Tali Yatzkar-Haham: Push Technology Personalization through Event Correlation. VLDB 2000 : 643-645 ![]() DiSC'02 © 2003 Association for Computing Machinery |