Sciweavers

1706 search results - page 100 / 342
» A design tool for camera-based interaction
Sort
View
BPM
2004
Springer
148views Business» more  BPM 2004»
15 years 8 months ago
Interactive Workflow Mining
Many information systems log event data about executed tasks. Workflow mining is concerned with the derivation of a graphical workflow model out of this data. Experience from appl...
Markus Hammori, Joachim Herbst, Niko Kleiner
SAMOS
2009
Springer
15 years 11 months ago
Visualization of Computer Architecture Simulation Data for System-Level Design Space Exploration
System-level computer architecture simulations create large volumes of simulation data to explore alternative architectural solutions. Interpreting and drawing conclusions from thi...
Toktam Taghavi, Mark Thompson, Andy D. Pimentel
ICFEM
2003
Springer
15 years 9 months ago
Generic Interacting State Machines and Their Instantiation with Dynamic Features
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
David von Oheimb, Volkmar Lotz
ERLANG
2007
ACM
15 years 8 months ago
A language for specifying type contracts in Erlang and its interaction with success typings
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...
Miguel Jimenez, Tobias Lindahl, Konstantinos F. Sa...
IADIS
2003
15 years 5 months ago
Interactive Web Platform for Encouraging Reader Comprehension
This paper shows a web tool designed to encourage an active reader comprehension. Being a web-technology based system, it allows easy access for a wide number of users around the ...
Víctor Tomico, Daniel Bolaños, Javie...