Results 121 to 130 of about 2,335 (171)
Some of the next articles are maybe not open access.
Mayo Clinic Proceedings, 1992
Horus, the counterpart of the Greek god Apollo, was a major deity of ancient Egypt. Originally, he was god of the sky and was depicted as a falcon or falcon-headed man. He was the son of the Egyptian god Osiris and the earth goddess Isis. Legend has it that when Osiris was king, he was murdered by Seth (a brother or son of Osiris), who became the ruler
M A, Shampo, R A, Kyle
openaire +2 more sources
Horus, the counterpart of the Greek god Apollo, was a major deity of ancient Egypt. Originally, he was god of the sky and was depicted as a falcon or falcon-headed man. He was the son of the Egyptian god Osiris and the earth goddess Isis. Legend has it that when Osiris was king, he was murdered by Seth (a brother or son of Osiris), who became the ruler
M A, Shampo, R A, Kyle
openaire +2 more sources
2020
Eurographics Workshop on Graphics and Cultural ...
Andrea Lennhoff +4 more
openaire +1 more source
Eurographics Workshop on Graphics and Cultural ...
Andrea Lennhoff +4 more
openaire +1 more source
2012
Petri nets are impressive in business process modeling due to the simplicity of the graphical presentation in connection with their expressive power. One can achieve a high precision of models, and the operational semantics allows formal for analysis and dynamic simulation. Practice shows, however, that a powerful modeling language alone is not enough:
Frank Schönthaler +3 more
openaire +1 more source
Petri nets are impressive in business process modeling due to the simplicity of the graphical presentation in connection with their expressive power. One can achieve a high precision of models, and the operational semantics allows formal for analysis and dynamic simulation. Practice shows, however, that a powerful modeling language alone is not enough:
Frank Schönthaler +3 more
openaire +1 more source
2017
Gamification ist ein seit Jahren anhaltender Trend, durch den die motivations-und leistungssteigernden Effekte von Spielen auf andere Kontexte jenseits der Unterhaltung übertragen werden sollen. Die Autoren haben sich zum Ziel gesetzt, diese positiven Auswirkungen auf den Kontext der Geschäftsprozessmodellierung, insbesondere auf das Social BPM zu ...
Nicolas Pflanzl +5 more
openaire +2 more sources
Gamification ist ein seit Jahren anhaltender Trend, durch den die motivations-und leistungssteigernden Effekte von Spielen auf andere Kontexte jenseits der Unterhaltung übertragen werden sollen. Die Autoren haben sich zum Ziel gesetzt, diese positiven Auswirkungen auf den Kontext der Geschäftsprozessmodellierung, insbesondere auf das Social BPM zu ...
Nicolas Pflanzl +5 more
openaire +2 more sources
A framework for protocol composition in Horus
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing - PODC '95, 1995The Horus system supports a communication architecture that treats protocols as instances of an abstract data type. This approach encourages developers to partition complex protocols into simple microprotocols, each of which is implemented by a protocol layer. Protocol layers can be stacked on top of each other in a variety of ways, at run-time. First,
Robbert van Renesse +4 more
openaire +1 more source
Assertion-Based Design with Horus
2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design, 2008The Horus tool, based on formally proven correct methods, provides a unified support to assertion-based design, between the specification and the test phases. Given a set of logical and temporal properties written in PSL, Horus automatically constructs a test environment for the design.
Yann Oddos +2 more
openaire +1 more source
1998
Abstract While she fluttered in the form of a hawk over the corpse of her dead husband [Osiris]. The infant was the younger Horus, who in his youth bore the name of Harpocrates, that is, the child Horus. Him Buto, the goddess of the north, hid from the wrath of his wicked uncle Set. Yet she could not guard him from all mishap; for one
openaire +1 more source
Abstract While she fluttered in the form of a hawk over the corpse of her dead husband [Osiris]. The infant was the younger Horus, who in his youth bore the name of Harpocrates, that is, the child Horus. Him Buto, the goddess of the north, hid from the wrath of his wicked uncle Set. Yet she could not guard him from all mishap; for one
openaire +1 more source