Current workflow technology offers rich features to manage and enact business processes. In principle, the technology enables actors to cooperate in the execution of business processes regardless of their geographical location. Furthermore, the technology is considered as an efficient means to reduce processing times. In this paper, we evaluate the effects on the performance of a workflow proce...

Space efficient algorithms for the maximum independent set problem for interval graphs and trees are presented in this paper. For a given set of n intervals on a real line, we can compute the maximum independent set in O( 2 s + n log s) time using O(s) extra-space. The lower bound of the time × space product for this problem is Ω(n2− ), where = O(1/ √ log n). We also propose an (1+ 1 ) approxim...

Linear predictive analysis is a standard technique in modern digital speech processing. This makes it an interesting implementation area for asynchronous design. We present an asynchronous speed-independent circuit implementation of a linear predictive analysis system. The implementation is built around a program ROM into which the algorithm is encoded. The design process is carried out using t...

Hypermedia systems typically allow the user to navigate through information by following links from one point in a document to another, possibly in a different document. Often the link information is embedded in the documents themselves and documents containing links must be authored in a special language (e.g. HTML). Over the last few years the multimedia group has been developing an open arch...

Number, like color or movement, is a basic property of the environment. Recently, single neurons tuned to number have been observed in animals. We used both psychophysics and neuroimaging to examine whether a similar neural coding scheme is present in humans. When participants viewed sets of items with a variable number, the bilateral intraparietal sulci responded selectively to number change. ...

Clinical guidelines aim at improving the quality of care processes based on evidence-based insights. However, there may be good reasons to deviate from such guidelines or the guidelines may provide insufficient support as they are not tailored towards a particular setting (e.g., hospital policy or patient group characteristics). Therefore, we propose an approach to mediate between event data re...

At the SAC’96 a new iterated block cipher, Akelarre, was proposed. Akelarre uses components of the block ciphers RC5 and IDEA and is conjectured strong with four rounds. This paper shows that Akelarre with any number of rounds is weak even under a ciphertext only attack. This illustrates that mixing two (presumably) strong ciphers is not always a good idea.

In database replication, primary-copy systems sort out easily the problem of keeping replicate data consistent by allowing only updates at the primary copy. While this kind of systems are very efficient with workloads dominated by read-only transactions, the update-everywhere approach is more suitable for heavy update loads. However, it behaves worse when dealing with workloads dominated by rea...

Phylogenies of species or genes are commonplace nowadays in many areas of comparative biological studies. However, for phylogenetic reconstructions one must refer to artificial signals such as paralogy, long-branch attraction, saturation, or conflict between different datasets. These signals might eventually mislead the reconstruction even in phylogenomic studies employing hundreds of genes. Un...