We survey formal methods as they are applied to the development of communication services. We report on industrial and academic projects, consider di erent communication architect...
The Pseudogene.org database serves as a comprehensive repository for pseudogene sequence annotation. The definition of a pseudogene varies within the literature, resulting in sign...
John E. Karro, Yangpan Yan, Deyou Zheng, Zhaolei Z...
In this paper we present the robot programming and planning language Readylog, a Golog dialect which was developed to support the decision making of robots acting in dynamic real-...
Common features of current information systems have significant impact on software architectures of these systems. The systems can not be realised as monoliths, formal specifica...
Lighting assumes many aesthetic and communicative functions in game environments that affect attention, immersion, visibility, and emotions. Game environments are dynamic and high...