Výsledky vyhledávání

Synthetic Portnet Generation with Controllable Complexity for Testing and Benchmarking

Autor: Diallo, M., Akesson, B., Bera, D., Begeer, R., Köhler-Bussmeier, M., Kindler, E., Rölke, H.

Publikováno v: Proceedings of the International Workshop on Petri Nets and Software Engineering 2021: co-located with the 42nd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2021) : Paris, France, June 25th, 2021 (due to COVID-19: virtual conference), 195-212
STARTPAGE=195;ENDPAGE=212;TITLE=Proceedings of the International Workshop on Petri Nets and Software Engineering 2021

There are many classes of Petri nets for describing communicating systems. Some of these guarantee important properties, such as termination in the case of portnets. There are also many methods and tools available for their analysis and synthesis. Ho

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9a085248026baea326719884916f103f
https://dare.uva.nl/personal/pure/en/publications/synthetic-portnet-generation-with-controllable-complexity-for-testing-and-benchmarking(6ea84f1f-3133-4e23-a03c-5640340d11b0).html

Zobrazit plný text záznamu

Akademický článek

Experimental Exposure of Male Volunteers to N-Methyl-2-Pyrrolidone (NMP): Acute Effects and Pharmacokinetics of NMP in Plasma and Urine

Autor: Åkesson, B., Paulsson, K.

Publikováno v: Occupational and Environmental Medicine, 1997 Apr 01. 54(4), 236-240.

Externí odkaz: https://www.jstor.org/stable/27730720

Zobrazit plný text záznamu

Akademický článek

Changes in Plasma Insulin, Enterostatin, and Lipoprotein Levels during an Energy-Restricted Dietary Regimen Including a New Oat-Based Liquid Food

Autor: Rytter, E., Erlanson-Albertsson, C., Lindahl, L., Lundquist, I., Viberg, U., Åkesson, B., Öste, R.

Publikováno v: Annals of Nutrition & Metabolism, 1996 Jul 01. 40(4), 212-220.

Externí odkaz: https://www.jstor.org/stable/45199307

Zobrazit plný text záznamu

Akademický článek

Biomarkers of Exposure, Antibodies, and Respiratory Symptoms in Workers Heating Polyurethane Glue

Autor: Skarping, G., Dalene, M., Svensson, B-G., Littorin, M., Åkesson, B., Welinder, H., Skerfving, S.

Publikováno v: Occupational and Environmental Medicine, 1996 Mar 01. 53(3), 180-187.

Externí odkaz: https://www.jstor.org/stable/27730509

Zobrazit plný text záznamu

PReGO: a generative methodology for satisfying real-time requirements on COTS-based systems: definition and experience report

Autor: Rouxel, B., Schultz, U.P., Akesson, B., Holst, J., Jørgensen, O., Grelck, C., Erwig, M., Gray, J.

Publikováno v: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences
GPCE '20: proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences : November 16-17, 2020, Virtual, USA, 70-83
STARTPAGE=70;ENDPAGE=83;TITLE=GPCE '20
GPCE
Rouxel, B, Schultz, U P, Akesson, B, Holst, J, Jørgensen, O & Grelck, C 2020, PReGO : A generative methodology for satisfying real-time requirements on COTS-based systems: Definition and experience report . in M Erwig & J Gray (eds), GPCE 2020-Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming : Concepts and Experiences, Co-located with SPLASH 2020 . Association for Computing Machinery, pp. 70-83, 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2020-Co-located with SPLASH 2020, Virtual, Online, United States, 16/11/2020 . https://doi.org/10.1145/3425898.3426954

Satisfying real-time requirements in cyber-physical systems is challenging as timing behaviour depends on the application software, the embedded hardware, as well as the execution environment. This challenge is exacerbated as real-world, industrial s

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ee268f7980ea148b2faca6eddb10bcad

Zobrazit plný text záznamu

Reducing design time and promoting evolvability using Domain-Specific Languages in an industrial context

Autor: Akesson, B., Hooman, J.J.M., Sleuters, J., Yankov, A., Tekinerdogan, B., Babur, Ö., Cleophas, L., Brand, M. van den, Akşit, M.

Publikováno v: Tekinerdogan, B.; Babur, Ö.; Cleophas, L. (ed.), Model Management and Analytics for Large Scale Systems, 245-272. London : Academic Press
STARTPAGE=245;ENDPAGE=272;TITLE=Tekinerdogan, B.; Babur, Ö.; Cleophas, L. (ed.), Model Management and Analytics for Large Scale Systems
Tekinerdogan, B.; Babur, Ö.; Cleophas, L. (ed.), Model Management and Analytics for Large Scale Systems, pp. 245-272

The complexity of cyber-physical systems is increasing, driven by integration of more functionality and trends towards mass-customization. This has resulted in complex systems with many variants that require long time to develop and are difficult to

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6476ff8d31e1876a4796a7ec9534cfaf
http://hdl.handle.net/2066/216823

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání