Sciweavers

4096 search results - page 397 / 820
» An Object Model for Interoperable Systems
Sort
View
TOG
2008
122views more  TOG 2008»
15 years 6 months ago
Staggered projections for frictional contact in multibody systems
We present a new discrete velocity-level formulation of frictional contact dynamics that reduces to a pair of coupled projections and introduce a simple fixed-point property of th...
Danny M. Kaufman, Shinjiro Sueda, Doug L. James, D...
HICSS
2003
IEEE
127views Biometrics» more  HICSS 2003»
16 years 13 hour ago
Storage Model for CDA Documents
The Health Level 7 Clinic Document Architecture (CDA) is an XML-based document markup standard that specifies the hierarchical structure and semantics of “clinical documents” ...
Zheng Liang, Peter Bodorik, Michael Shepher
ACSAC
2009
IEEE
16 years 1 months ago
Protecting Kernel Code and Data with a Virtualization-Aware Collaborative Operating System
Abstract—The traditional virtual machine usage model advocates placing security mechanisms in a trusted VM layer and letting the untrusted guest OS run unaware of the presence of...
Daniela Alvim Seabra de Oliveira, Shyhtsun Felix W...
ENTCS
2008
118views more  ENTCS 2008»
15 years 6 months ago
The STSLib Project: Towards a Formal Component Model Based on STS
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
Fabrício Fernandes, Jean-Claude Royer
WSC
2004
15 years 8 months ago
Validation of the Enlisted Grade Model Gradebreaks
This paper describes the validation of the Enlisted Grade model gradebreaks and describes a current application of simulation in operations research. The Enlisted Grade model is p...
Andrew O. Hall