1965 search results - page 87 / 393 » On the analysis of interacting pushdown systems |
CHI
2005
ACM
14 years 9 months ago
2005
ACM
The Intelligence Analyst (IA) community will soon be the designated users of many new software tools. In the multitasking world of the IA, any one tool cannot be permitted to gree...
ISSS
1997
IEEE
14 years 1 months ago
1997
IEEE
This paper presents a novel source-level dynamic analysis methodology and tool for High-Level Synthesis (HLS). It not only for the first time enables HLS to offer source-level de...
EHCI
2001
13 years 10 months ago
2001
Systems combining the real and the virtual are becoming more and more prevalent. The Augmented Reality (AR) paradigm illustrates this trend. In comparison with traditional interact...
IV
2008
IEEE
14 years 3 months ago
2008
IEEE
There is a large number of interactive visualization tools, however no universal tool exists that covers all relevant aspects for all possible application domains. We have develop...
SASO
2007
IEEE
14 years 3 months ago
2007
IEEE
Adaptive security is based on the observation that the security requirements of a system or service heavily depend on the environment in which they operate and should therefore be...