FORMAL VERIFICATION OF A NEW OPTIMISTIC CONCURRENCY CONTROL ALGORITHM FOR TEMPORAL DATABASES

Q: How can I download an article?

To download an article from SID, first log in to the site, search for the article title, and click on the 'Download Article' option.

Q: How can I download an ISI article?

To download an ISI article on SID, enter the keyword or article title in the search bar, view the relevant results, click on the desired article, and select the 'Download Article' option.

Q: How can I access the SID database?

To access the SID database, visit SID.ir, create an account, and log in to access scientific resources.

Q: Is downloading articles from SID free?

Some articles on SID are available for free, while others require payment. Details are specified on the article's page.

MAKNI A.; BOUAZIZ R.; GARGOURI F.

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Journal Paper

Paper Information

Journal: PROCEEDINGS OF THE ISCA INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND DATA ENGINEERING Year:2007 | Volume:- | Issue:16 Page(s): 235-242

Download Full-Text

View:

Download:

Cites:

Information Journal Paper

Title

FORMAL VERIFICATION OF A NEW OPTIMISTIC CONCURRENCY CONTROL ALGORITHM FOR TEMPORAL DATABASES

Author(s)

MAKNI A. | BOUAZIZ R. | GARGOURI F. | Issue Writer Certificate

Keywords

Not Registered.

Abstract

Cites

A NEW CONCURRENCY CONTROL ALGORITHM IN TEMPORAL DATABASE

References

No record.

Cite

APA: Copy

MAKNI, A., BOUAZIZ, R., & GARGOURI, F.. (2007). FORMAL VERIFICATION OF A NEW OPTIMISTIC CONCURRENCY CONTROL ALGORITHM FOR TEMPORAL DATABASES. PROCEEDINGS OF THE ISCA INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND DATA ENGINEERING, -(16), 235-242. SID. https://sid.ir/paper/615309/en

Vancouver: Copy

MAKNI A., BOUAZIZ R., GARGOURI F.. FORMAL VERIFICATION OF A NEW OPTIMISTIC CONCURRENCY CONTROL ALGORITHM FOR TEMPORAL DATABASES. PROCEEDINGS OF THE ISCA INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND DATA ENGINEERING[Internet]. 2007;-(16):235-242. Available from: https://sid.ir/paper/615309/en

IEEE: Copy

A. MAKNI, R. BOUAZIZ, and F. GARGOURI, “FORMAL VERIFICATION OF A NEW OPTIMISTIC CONCURRENCY CONTROL ALGORITHM FOR TEMPORAL DATABASES,” PROCEEDINGS OF THE ISCA INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND DATA ENGINEERING, vol. -, no. 16, pp. 235–242, 2007, [Online]. Available: https://sid.ir/paper/615309/en

Related Journal Papers

No record.

Related Seminar Papers

No record.

Related Plans

No record.

Recommended Workshops