Sciweavers

3686 search results - page 9 / 738
» An Approach to a Trustworthy System Architecture Using Virtu...
Sort
View
ACSAC
2009
IEEE
13 years 11 months ago
Justifying Integrity Using a Virtual Machine Verifier
Emerging distributed computing architectures, such as grid and cloud computing, depend on the high integrity execution of each system in the computation. While integrity measuremen...
Joshua Schiffman, Thomas Moyer, Christopher Shal, ...
DEBU
2002
115views more  DEBU 2002»
13 years 7 months ago
Cooperative Information Systems in Virtual Districts: the VISPO Approach
The VISPO project studies cooperative information systems in virtual districts to derive possible cooperation patterns and to provide an architectural framework for cooperation. D...
Enzo Colombo, Chiara Francalanci, Barbara Pernici,...
LREC
2008
133views Education» more  LREC 2008»
13 years 9 months ago
A Common Ground for Virtual Humans: Using an Ontology in a Natural Language Oriented Virtual Human Architecture
When dealing with large, distributed systems that use state-of-the-art components, individual components are usually developed in parallel. As development continues, the decouplin...
Arno Hartholt, Thomas Russ, David R. Traum, Eduard...
MEMOCODE
2008
IEEE
14 years 2 months ago
Virtual prototyping AADL architectures in a polychronous model of computation
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
Ma Yue, Jean-Pierre Talpin, Thierry Gautier
SOSP
2005
ACM
14 years 4 months ago
THINC: a virtual display architecture for thin-client computing
Rapid improvements in network bandwidth, cost, and ubiquity combined with the security hazards and high total cost of ownership of personal computers have created a growing market...
Ricardo A. Baratto, Leonard N. Kim, Jason Nieh