Sciweavers

6768 search results - page 422 / 1354
» Developing Applications Using Model-Driven Design Environmen...
Sort
View
ERCIMDL
2010
Springer
168views Education» more  ERCIMDL 2010»
15 years 8 months ago
The Planets Testbed - A Collaborative Research Environment for Digital Preservation
The Planets Testbed is an open access web application for the digital preservation community, providing an experimental framework for evaluating preservation tools and approaches i...
Brian Aitken, Seamus Ross, Andrew Lindley, Edith M...
187
Voted
IJAMC
2010
94views more  IJAMC 2010»
15 years 5 months ago
Middleware mechanisms for interaction interoperability in Collaborative Virtual Environments
—In this paper, we discuss interaction interoperability in Collaborative Virtual Environments (CVE), intended to mean the ability of two or more users to cooperate despite the he...
Mario Ciampi, Luigi Gallo, Antonio Coronato, Giuse...
SP
2000
IEEE
110views Security Privacy» more  SP 2000»
15 years 11 months ago
LOMAC: Low Water-Mark Integrity Protection for COTS Environments
We hypothesize that a form of kernel-resident accesscontrol-based integrity protection can gain widespread acceptance in Commercial Off-The-Shelf (COTS) environments provided that...
Timothy Fraser
HAPTICS
2005
IEEE
16 years 14 days ago
Using Collaborative Haptics in Remote Surgical Training
We describe the design and trial of a remotely conducted surgical master class, using a haptic virtual environment as an integral part of the learning process. In the trial, we li...
Chris Gunn, Matthew A. Hutchins, Duncan Stevenson,...
ICSE
2004
IEEE-ACM
16 years 7 months ago
Assume-Guarantee Verification of Source Code with Design-Level Assumptions
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
Dimitra Giannakopoulou, Corina S. Pasareanu, Jamie...