Suchergebnisse

Carnet de l'Ejército de la República del Batallón de Retaguardia de Josep Vilalta com a soldat número 322. Hi consten les seves dades personals, però hi falta la fotografia

Information systems are facing conflicting requirements. On the one hand, systems need to be adaptive and self-managing to deal with rapidly changing circumstances. On the other hand, legislation such as the Sarbanes-Oxley Act, is putting increasing demands on monitoring activities and processes. As processes and systems become more flexible, both the need for, and the complexity of monitoring increases. Our earlier work on process mining has primarily focused on process discovery, i.e., automatically constructing models describing knowledge extracted from event logs. In this paper, we focus on a different problem complementing process discovery. Given an event log and some property, we want to verify whether the property holds. For this purpose we have developed a new language based on Linear Temporal Logic (LTL) and we combine this with a standard XML format to store event logs. Given an event log and an LTL property, our LTL Checker verifies whether the observed behavior matches the (un)expected/(un)desirable behavior.

It is now almost 25 years since the fall of the Berlin Wall, the fragmentation of the Soviet Union into a series of republics and the rejection of communist politics in much of the former Eastern Bloc. Seen by many as a victory for the capitalist West over the communist East, the geopolitics of this period was far more complicated than this. Across a series of essays and artist contributions, Red Africa explores the crosscurrents of international solidarity and friendship. The aesthetic experience of the works and the exhibition is also an invitation for the visitor to explore what Leila Ghandi and others have described as a politics of affective community. Red Africa is the culmination of a two-year research programme and exhibition project at Calvert 22, London, and Iwalewa House, Bayreuth. This traced the work of African artists and filmmakers who studied in the Soviet Union and Eastern Bloc under free education schemes originally offered under the Third International, discontinued during Stalin's reign, then brought back during Khruschev's thaw. Connections were particularly strong with countries such as Mozambique, Ghana, Ethiopia and Angola that were conducting liberation struggles or which, post-independence, were part of the Non-Aligned Movement which held its first Summit conference in Belgrade in 1961. Red Africa is beautifully illustrated with film stills, artworks and archival images drawing on the extensive research of the contributing artists, researchers and curators. Contributors include Onejoon Che, Radovan Cukic and Ivan Manojlovic, Ros Gray, Ana Balona de Oliveira, Burt Cesar, Filipa Cesar, Angela Ferreira, Yevgenyi Fiks, Kiluanji Kia Henda, Isaac Julien, Alexander Markov, Jo Ratcliffe, Polly Savage, Nadine Siegert, Manuela Ribeiro Sanches, The Travelling Communique Group, Milica Tomic, Tonel and Vanessa Vasic-Janekovic.