Sciweavers

3686 search results - page 159 / 738
» An Approach to a Trustworthy System Architecture Using Virtu...
Sort
View
VEE
2012
ACM
232views Virtualization» more  VEE 2012»
14 years 1 months ago
DVM: towards a datacenter-scale virtual machine
As cloud-based computation becomes increasingly important, providing a general computational interface to support datacenterscale programming has become an imperative research age...
Zhiqiang Ma, Zhonghua Sheng, Lin Gu, Liufei Wen, G...
CAPTECH
1998
Springer
15 years 10 months ago
A Robust Human-Silhouette Extraction Technique for Interactive Virtual Environments
In this paper, we present a method for robustly extracting the silhouette form of the participant within an interactive environment. The approach overcomes the inherent problems as...
James W. Davis, Aaron F. Bobick
COMPSAC
1997
IEEE
15 years 10 months ago
Model-integrated system development: models, architecture, and process
Many large software systems are tightly integrated with their physical environments and must be adapted when their environment changes. Typically, software development methodologi...
Gabor Karsai, Amit Misra, Janos Sztipanovits, &Aac...
DEON
2006
Springer
15 years 8 months ago
A Logical Architecture of a Normative System
Abstract. Logical architectures combine several logics into a more complex logical system. In this paper we study a logical architecture using input/output operations corresponding...
Guido Boella, Leendert W. N. van der Torre
ICSE
2000
IEEE-ACM
15 years 10 months ago
A formal approach for designing CORBA based applications
The design of distributed applications in a CORBA based environment can be carried out by means of an incremental approach, which starts from the specification and leads to the hi...
Matteo Pradella, Matteo Rossi, Dino Mandrioli, Alb...