Sciweavers

3481 search results - page 255 / 697
» Architecture as Object Models of Software
Sort
View
ECSCW
1993
15 years 7 months ago
A Spatial Model of Interaction in Large Virtual Environments
: We present a spatial model of group interaction in virtual environments. The model aims to provide flexible and natural support for managing conversations among large groups gath...
Steve Benford, Lennart E. Fahlén
IPPS
2010
IEEE
15 years 3 months ago
Runtime checking of serializability in software transactional memory
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
Arnab Sinha, Sharad Malik
CCS
2004
ACM
15 years 12 months ago
Lessons learned using alloy to formally specify MLS-PCA trusted security architecture
In order to solve future Multi Level Security (MLS) problems, we have developed a solution based on the DARPA Polymorphous Computing Architecture (PCA). MLS-PCA uses a novel distr...
Brant Hashii
WSC
1998
15 years 7 months ago
Internet-based Simulation using Off-the-shelf Simulation Tools and HLA
The United States Department of Defense's High Level Architecture for Modeling and Simulation (HLA) provides a standardized interface for distributed simulations. The recent ...
Steffen Straßburger, Thomas Schulze, Ulrich ...
SSIAI
2002
IEEE
15 years 11 months ago
Volumetric Segmentation via 3D Active Shape Models
A volumetric image segmentation algorithm has been developed and implemented by extending a 2D algorithm based on Active Shape Models. The new technique allows segmentation of 3D ...
Molly M. Dickens, Shaun S. Gleason, Hamed Sari-Sar...