4201 search results - page 133 / 841 » Interaction graphs: Additives |
127
click to vote
IFIP
2009
Springer
15 years 2 months ago
2009
Springer
We present a platform that allows a protocol researcher to specify the sequence of games from an initial protocol to a protocol where the security property under consideration can ...
178
click to vote
SI3D
2003
ACM
15 years 9 months ago
2003
ACM
In this paper we develop an interactive 3D browser for large topographic maps using a visual display augmented by a haptic, or force feedback, display. The extreme size of our dat...
134
click to vote
ISSS
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper concerns automatic hardware synthesis from data flow graph (DFG) specification in system level design. In the presented design methodology, each node of a data flow gra...
124
click to vote
DAC
1994
ACM
15 years 8 months ago
1994
ACM
In this paper, we present a design methodology management system, which assists designers in selecting a suitable design process and invoking the selected sequence of tools on the...
144
Voted
IV
2010
IEEE
15 years 2 months ago
2010
IEEE
The first step of any information visualization system is to enable end user to import their dataset into the system. However, non expert user are faced to the difficult task of ch...