Sciweavers

1119 search results - page 105 / 224
» Visual Comparison of Graphical Models
Sort
View
RE
2001
Springer
14 years 1 months ago
Virtual Environment Modeling for Requirements Validation of High Consequence Systems
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...
Victor L. Winter, Dejan Desovski, Bojan Cukic
ACSAC
2004
IEEE
14 years 24 days ago
Visualizing Enterprise-Wide Security (VIEWS)
This paper discusses VIEWS, a specification for building diagrams that describe the security features of systems. The authors' recent experience with providing security archi...
J. J. Brennan, Mindy Rudell, Donald B. Faatz, Cars...
UIST
2010
ACM
13 years 7 months ago
Eden: supporting home network management through interactive visual tools
As networking moves into the home, home users are increasingly being faced with complex network management chores. Previous research, however, has demonstrated the difficulty many...
Jeonghwa Yang, W. Keith Edwards, David Haslem
CSB
2005
IEEE
116views Bioinformatics» more  CSB 2005»
14 years 2 months ago
DockingShop: a Tool for Interactive Protein Docking
The molecular docking problem is to determine how molecules interact with other molecules and plays a key role in understanding how cells function. DockingShop is an integrated en...
Ting-Cheng Lu, Jinhui Ding, Silvia N. Crivelli
ECCV
2008
Springer
14 years 11 months ago
Simultaneous Visual Recognition of Manipulation Actions and Manipulated Objects
Abstract. The visual analysis of human manipulation actions is of interest for e.g. human-robot interaction applications where a robot learns how to perform a task by watching a hu...
Danica Kragic, David Martínez Mercado, Hedv...