Neuroimaging techniques produce large amounts of data capable of displaying a wide variety of structural and functional properties of the brain. A large number of specialized image...
Florian Weiler, Jan Rexilius, Jan Klein, Horst K. ...
: In this paper we present the concurrent constraint functional programming CCFL and an abstract machine for the evaluation of CCFL programs in a multicore environment. The source ...
: Die Ausweitung der Produktions- und Veröffentlichungsmöglichkeiten durch den einzelnen Internetnutzer haben eine strukturelle Weiterentwickelung des öffentlichen Kommunikation...
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...
Anders Starcke Henriksen, Tom Hvitved, Andrzej Fil...
: Bewertungen sind ein einflussreiches Medium, um Vertrauen zwischen Anspruchsgruppen zu schaffen. Dies gilt nicht nur für die physische, sondern auch für die virtuelle Welt. Sei...
Abstract: Detecting the current task of a user is essential for providing her with contextualized and personalized support, and using Contextual Attention Metadata (CAM) can help d...
Andreas S. Rath, Didier Devaurs, Stefanie N. Linds...
: Spezielle Anforderungen an Software führen häufig zu aufwändigen, lang andauernden und damit teuren Neuentwicklungen. Funktionsfähige Prototypen entstehen i.d.R. erst im Lauf...
: Compliance management tackles issues related to both modelling and enforcement of business constraints in enterprises. In the context of business process management, we propose a...
: Today, mobile phones are becoming an essential device in our daily life, and carried comfortably and regularly by a huge percentage of population. In this note, we propose an app...