2607 search results - page 180 / 522 » On the Architecture of System Verification Environments |
191
click to vote
IJVR
2008
15 years 6 months ago
2008
The Web3D technologies make it possible to create Collaborative Virtual Environment (CVE) in the popular Internet, thus promoting the popularity of CVE scientific applications to b...
168
click to vote
UIST
1997
ACM
15 years 10 months ago
1997
ACM
Direct manipulation of visualizations is a powerful technique for performing exploratory data operations such as navigation, aggregation, and filtering. Its immediacy facilitates ...
158
click to vote
ECHT
1992
15 years 10 months ago
1992
In this paper, we report about the design, development, and implementation of the SEPIA cooperative hypermedia authoring environment. It provides results on the following aspects ...
180
click to vote
ACSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
The Java (TM) Virtual Machine is being used more frequently as the basic engine behind dynamic web services. With the proliferation of network attacks on these network resources, ...
194
click to vote
IWANN
1995
Springer
15 years 10 months ago
1995
Springer
1 This paper presents a new technique for the design of real-time controllers based on a hybrid approach which integrates several control strategies, such as intelligent controlle...