Výsledky vyhledávání - "P.A.C. Verkoulen"

Database research at the University of Twente

Autor: R. A. de By, P.A.C. Verkoulen, M. A. W. Houtsma, Peter M. G. Apers, Henk Blanken, H. Balsters, A.N. Wilschut

Publikováno v: SIGMOD record, 22(4), 87-91. Association for Computing Machinery (ACM)

The University of Twente is one of the leading technical universities in the Netherlands. It is the only Dutch university that has an independent computerscience department. The database research group is comprised of approximately 15 researchers and

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bb295d3ee900adf3578215fb26decbcd
https://doi.org/10.1145/166635.166664

Zobrazit plný text záznamu

Functionally specified distributed transactions in co-operative scenarios

Autor: R.A. de By, P.A.C. Verkoulen, Susan Even

Publikováno v: Memoranda informatica. University of Twente
ISSUE=72;ISSN=0924-3755;TITLE=Memoranda informatica
Proceedings of the 5th International Workshop on Research Issues in Data Engineering-Distributed Object Management (RIDE-DOM '95), 116-121
STARTPAGE=116;ENDPAGE=121;TITLE=Proceedings of the 5th International Workshop on Research Issues in Data Engineering-Distributed Object Management (RIDE-DOM '95)
RIDE-DOM

Addresses the problem of specifying co-operative, distributed transactions in a manner that can be subject to verification and testing. Our approach combines the process-algebraic language LOTOS and the object-oriented database modelling language TM

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::67a67271ac532212c18d44ad387d71a5
https://research.utwente.nl/en/publications/functionally-specified-distributed-transactions-in-cooperative-scenarios(f10586ca-1c97-4840-bb0d-018fe4dc4c70).html

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vyhledávací nástroje:

Upřesnit hledání