Zobrazeno 1 - 10
of 379
pro vyhledávání: '"Hinchey M."'
Publikováno v:
Wind Engineering, 1998 Jan 01. 22(3), 131-142.
Externí odkaz:
https://www.jstor.org/stable/43749677
Autor:
Nagaraja Ch., Swamy J. N., Rajendra J., Khan M. S., Vishwanath, Reddy D. S., Manjunath N., Dillmann R., Tarn T. J., Zhao Q., Ammi M., Zuberek W. M., Sandhu P. S., Patthira, Newman K., De Silva Liyanage C., Hassan S. A. A., Sun K. W., Rahman Md. M., Ordono E. E., Sharma R. K., Mishra P., Chandel B. S., Singla E., Petric T., Zhong Y., Jiglar J., Alemzadeh K., Asokan T., Tripathi A., Tripathi M., Ram S., Shrma M. K., Panday P. N., Kumar D., Hinchey M., Stilman B., Suraj Z., Pal S. K., Sasi S., Rajan D., Marshall R. G., Abraham A., Peter S D., Paul V., Gopakumar V., Dustdar S., Soto S. V., Rausch A., Angelis L., Nelson A. L., Botzheim J., Bernardino H. S., Zboril F., Ane B. K., Maeda T., Sakalauskas V., Hann G. L. K., Samek J., Romero Salguero J. R., Varghese K., Kriksciuniene D., Mathew J., Reif W., Mauri G., Cabrerizo Lorite F. J., Ozcan E., Cho S. -B., Paily R. P., Rezankova H., Tudjarov B., Hong W. -C., De Oliveira J. V., Flores Romero J. J., Oskouei R. J., Cicchetti A., Roy C., Segura S., Samuel C., Mallet F., Mernik M., Punnekkat S., Waseemulla A.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::73a9b4fa9143aa27aeebe73a2b7dab2f
http://hdl.handle.net/10281/300708
http://hdl.handle.net/10281/300708
Autor:
Steffen, B., Baier, C., van den Brand, M., Eder, J., Hinchey, M., Margaria, T., Steffen, Bernhard, Baier, Christel, van den Brand, Mark
Publikováno v:
SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings, V-VII
STARTPAGE=V;ENDPAGE=VII;TITLE=SOFSEM 2017: Theory and Practice of Computer Science
STARTPAGE=V;ENDPAGE=VII;TITLE=SOFSEM 2017: Theory and Practice of Computer Science
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::2bb4ea5ef6f00dac2af069e92dd8f569
https://research.tue.nl/nl/publications/14c477ab-69e8-4ca7-bf47-42be4f1b8e1c
https://research.tue.nl/nl/publications/14c477ab-69e8-4ca7-bf47-42be4f1b8e1c
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Scopus-Elsevier
non-peer-reviewed Autonomic computing has been recognized as a valid approach to the development of large-scale self-managing complex systems. The Autonomic System Specification Language (ASSL) is an initiative for the development of autonomic system
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::681b8247760d4cf1a2bb4706dab6d4f4
Autor:
Dignum, M.V., Meyer, J-J.Ch., Dignum, F.P.M., Weigand, H., Hinchey, M., Rash, J., Truszkowski, W., Rouff, C., Gordon-Spears, D., Cognitieve en Communicatieve Aspecten van Informatietechnologie en Informatiesystemen, Intelligente Systemen, Dep Informatica
Publikováno v:
Formal Approaches to Agent-Based Systems (FAABS). Springer, Lecture Notes in Computer Science
Formal Approaches to Agent-Based Systems (FAABS)
Formal Approaches to Agent-Based Systems (FAABS)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::737506d6dfb1218d38be09f0f308de68
https://dspace.library.uu.nl/handle/1874/11505
https://dspace.library.uu.nl/handle/1874/11505
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Proceedings Third International Conference on Formal Engineering Methods (ICFEM, York, UK, September 4-7, 2000), 89-97
STARTPAGE=89;ENDPAGE=97;TITLE=Proceedings Third International Conference on Formal Engineering Methods (ICFEM, York, UK, September 4-7, 2000)
ICFEM
STARTPAGE=89;ENDPAGE=97;TITLE=Proceedings Third International Conference on Formal Engineering Methods (ICFEM, York, UK, September 4-7, 2000)
ICFEM
Concerns the formal specification and mechanical verification of transaction processing systems aimed at distributed databases. In such systems, a standard set of ACID (Atomicity, Consistency, Isolation and Durability) properties must be ensured by a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ed397a74c8afb556a7ffcfbda35449f5
https://research.tue.nl/nl/publications/c16a1e59-4ead-4c34-86fe-b06664e124e2
https://research.tue.nl/nl/publications/c16a1e59-4ead-4c34-86fe-b06664e124e2