Zobrazeno 1 - 10
of 14
pro vyhledávání: '"Even, S.J."'
Autor:
Cassidy, S., Crasborn, O.A., Nieminen, H., Stoop, W.M.C.A., Hulsbosch, M.A., Even, S.J., Komen, E.R., Johnston, T., Bono, M., Efthimiou, E.
Publikováno v:
Bono, M.; Efthimiou, E. (ed.), Proceedings of Language Resources and Evaluation Conference 2018, 2359-2364. Paris : ELDA
STARTPAGE=2359;ENDPAGE=2364;TITLE=Bono, M.; Efthimiou, E. (ed.), Proceedings of Language Resources and Evaluation Conference 2018
Scopus-Elsevier
Bono, M.; Efthimiou, E. (ed.), Proceedings of Language Resources and Evaluation Conference 2018, pp. 2359-2364
STARTPAGE=2359;ENDPAGE=2364;TITLE=Bono, M.; Efthimiou, E. (ed.), Proceedings of Language Resources and Evaluation Conference 2018
Scopus-Elsevier
Bono, M.; Efthimiou, E. (ed.), Proceedings of Language Resources and Evaluation Conference 2018, pp. 2359-2364
Contains fulltext : 194895.pdf (Publisher’s version ) (Open Access) Language Resources and Evaluation Conference (LREC) 2018, 07 mei 2018
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a9640e7a1cd2144af6b437c85d1e0c77
https://hdl.handle.net/2066/194895
https://hdl.handle.net/2066/194895
Autor:
Even, S.J., Spelt, D.
Publikováno v:
STARTPAGE=109;ENDPAGE=120;TITLE=None
ECOOP'99 Workshop Reader "Object-Oriented Technology", 216-217
STARTPAGE=216;ENDPAGE=217;TITLE=ECOOP'99 Workshop Reader "Object-Oriented Technology"
ECOOP'99 Workshop Reader "Object-Oriented Technology", 216-217
STARTPAGE=216;ENDPAGE=217;TITLE=ECOOP'99 Workshop Reader "Object-Oriented Technology"
Compensation plays an important role in advanced transaction models, cooperative work, and workflow systems. However, compensation operations are often simply written as a^−1 in transaction model literature. This notation ignores any operation para
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4a63c15cb8de0e2f0b9bf4770d791b94
https://research.utwente.nl/en/publications/compensation-methods-to-support-generic-graph-editing-a-case-study-in-automated-verification-of-schema-requirements-for-an-advanced-transaction-model(3a16e87a-0754-4e67-a5f2-992ad600462c).html
https://research.utwente.nl/en/publications/compensation-methods-to-support-generic-graph-editing-a-case-study-in-automated-verification-of-schema-requirements-for-an-advanced-transaction-model(3a16e87a-0754-4e67-a5f2-992ad600462c).html
Autor:
Spelt, D., Even, S.J.
Publikováno v:
Fifth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'99), 375-389
STARTPAGE=375;ENDPAGE=389;TITLE=Fifth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'99)
STARTPAGE=375;ENDPAGE=389;TITLE=Fifth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'99)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::4c70caa80d89e56d048bf36750669a91
https://research.utwente.nl/en/publications/108cb884-ce0f-4832-8a51-6f9d878c6152
https://research.utwente.nl/en/publications/108cb884-ce0f-4832-8a51-6f9d878c6152
Autor:
Spelt, D., Even, S.J.
In this paper, we take an engineering approach to atomic transaction verification. We discuss the design and implementation of a verification tool that can reason about the semantics of atomic database operations. To bridge the gap between language d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::d1ffc8af47e962ddccc73c1a82cdbd61
https://research.utwente.nl/en/publications/an-engineering-approach-to-atomic-transaction-verification(15a85c9d-3b8c-46f4-9199-7630e400a50b).html
https://research.utwente.nl/en/publications/an-engineering-approach-to-atomic-transaction-verification(15a85c9d-3b8c-46f4-9199-7630e400a50b).html
Autor:
Even, S.J., Spelt, D.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::a83e1ed27c633fabbbc22b06b982043b
https://research.utwente.nl/en/publications/verification-of-compensation-requirements-for-the-sepia-cooperative-authoring-system(c30ed9d3-e4b2-4464-89c4-af2f7aab16f7).html
https://research.utwente.nl/en/publications/verification-of-compensation-requirements-for-the-sepia-cooperative-authoring-system(c30ed9d3-e4b2-4464-89c4-af2f7aab16f7).html
Autor:
Spelt, D., Even, S.J.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::57fa24c7014f893cc081ec7712077fcc
https://research.utwente.nl/en/publications/theorem-proverbased-analysis-of-transactions-on-objectoriented-databases-extended-abstract(2394399d-9800-43f3-8eed-524078119975).html
https://research.utwente.nl/en/publications/theorem-proverbased-analysis-of-transactions-on-objectoriented-databases-extended-abstract(2394399d-9800-43f3-8eed-524078119975).html
Publikováno v:
Proc. of the Sixth International Workshop on Database Programming Languages (DBPL)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::2cc87c6dfcf1206e08412d22696a20d5
https://research.utwente.nl/en/publications/integrating-organizational-and-transactional-aspects-of-cooperative-activities(79acf31f-b47b-48e0-aa92-b84207895b2d).html
https://research.utwente.nl/en/publications/integrating-organizational-and-transactional-aspects-of-cooperative-activities(79acf31f-b47b-48e0-aa92-b84207895b2d).html
Autor:
Even, S.J., Faase, F.J., Kaijanranta, H., Klingemann, J., Pihlajamaa, O., Tesch, T., Waesch, J.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::fcb119d3aeddf0f1d2217d200e813804
https://research.utwente.nl/en/publications/design-of-the-transcoop-demonstrator-system(7a7392e4-9c16-4df4-8986-4717a8a5be3b).html
https://research.utwente.nl/en/publications/design-of-the-transcoop-demonstrator-system(7a7392e4-9c16-4df4-8986-4717a8a5be3b).html