Strong user involvement and clear business objectives, both relying on efficient communication between the developers and the business, are key factors for a project's succes...
Martin Nussbaumer, Patrick Freudenstein, Martin Ga...
Participation in the web of communities requires a common language, a common technological structure and development of content that is relevant and captivating. This paper report...
This paper presents the XML/XSL approach to the development of a web environment for the formal speci cation language Object-Z. The projection techniques and tools from Object-Z (...
Analysis of biological data often involves large data sets and computationally expensive algorithms. Databases of biological data continue to grow, leading to an increasing demand ...
As a novel, grand AI challenge, General Game Playing is concerned with the development of systems that understand the rules of unknown games and play these games well without human...