Sciweavers

2607 search results - page 151 / 522
» On the Architecture of System Verification Environments
Sort
View
IISWC
2006
IEEE
16 years 14 days ago
Performance Characterization of SPEC CPU2006 Integer Benchmarks on x86-64 Architecture
— As x86-64 processors become the CPU of choice for the personal computer market, it becomes increasingly important to understand the performance we can expect by migrating appli...
Dong Ye, Joydeep Ray, Christophe Harle, David R. K...
TRUST
2009
Springer
16 years 1 months ago
Secure VPNs for Trusted Computing Environments
Abstract. Virtual Private Networks are a popular mechanism for building complex network infrastructures. Such infrastructures are usually accompanied by strict administrative restr...
Steffen Schulz, Ahmad-Reza Sadeghi
MEDINFO
2007
116views Healthcare» more  MEDINFO 2007»
15 years 7 months ago
Knowledge-Level Querying of Temporal Patterns in Clinical Research Systems
Managing time-stamped data is essential to clinical research activities and often requires the use of considerable domain knowledge, which is difficult to support within database ...
Martin J. O'Connor, Ravi D. Shankar, David B. Parr...
PRESENCE
1998
91views more  PRESENCE 1998»
15 years 6 months ago
Integrating Pedagogical Agents into Virtual Environments
In order for a virtual environment to be effective as a training tool, it is not enough to concentrate on the fidelity of the renderings and the accuracy of the simulated behavior...
W. Lewis Johnson, Jeff Rickel, Randy Stiles, Allen...
ACMSE
2006
ACM
16 years 13 days ago
Automatic support for testing web-based enterprise applications
In this paper we consider the problem of automatically generating test suites associated with web-based enterprise systems. In particular, we discuss the construction of a tool de...
Arturo Sanchez, Brandon Vega, Alexander Gonzalez, ...