Artifacts—representations that express properties or captured information—can serve to inspire, represent, and manage the decisions made throughout the design process. This wo...
D. Scott McCrickard, Michael E. Atwood, Gayle Curt...
For many application-level distributed protocols and parallel algorithms, the set of participants, the number of messages or the interaction structure are only known at run-time. T...
Automata theory presents roughly three types of automata: finite automata, pushdown automata and Turing machines. The automata are treated as language acceptors, and the expressiv...
Jos C. M. Baeten, Pieter J. L. Cuijpers, Bas Lutti...
Mobile phones with integrated video cameras have become ubiquitous tools that people use both to document everyday surroundings and to express themselves artistically. In this pap...
Advances in the field of microarray technology have attracted a lot of attention in the last years. More and more biological experiments are conducted based on microarrays. The c...