Sciweavers

700 search results - page 77 / 140
» Combinations of Stit and Actions
Sort
View
CDVE
2006
Springer
160views Visualization» more  CDVE 2006»
14 years 1 months ago
Automated Social Network Analysis for Collaborative Work
Inter-networked computers enable virtual collaborative work. In the course of interacting with one another, individuals send and receive messages and files of various sorts. This m...
Larry Korba, Ronggong Song, George Yee, Andrew S. ...
DIAGRAMS
2006
Springer
14 years 1 months ago
Topological Relations of Arrow Symbols in Complex Diagrams
Illustrating a dynamic process with an arrow-containing diagram is a widespread convention in people's daily communications. In order to build a basis for capturing the struct...
Yohei Kurata, Max J. Egenhofer
FMCO
2006
Springer
123views Formal Methods» more  FMCO 2006»
14 years 1 months ago
Exhaustive Testing of Exception Handlers with Enforcer
Testing application behavior in the presence of I/O failures is extremely difficult. The resources used for testing usually work without failure. Failures typically cannot be initi...
Cyrille Artho, Armin Biere, Shinichi Honiden
FPL
2006
Springer
223views Hardware» more  FPL 2006»
14 years 1 months ago
From Equation to VHDL: Using Rewriting Logic for Automated Function Generation
This paper presents a novel tool flow combining rewriting logic with hardware synthesis. It enables the automated generation of synthesizable VHDL code from mathematical equations...
Carlos Morra, M. Sackmann, Sunil Shukla, Jürg...
CGI
2001
IEEE
14 years 1 months ago
Multiple Conceptions of Character-Based Interactive Installations
This paper presents ways of approaching the design of successful character-based interactive installations. We rationalize our arguments within the context of both Disney's &...
Bruce Blumberg, Bill Tomlinson, Marc Downie