Sciweavers

595 search results - page 102 / 119
» Software Strategies in developing Countries
Sort
View
TCGOV
2005
Springer
14 years 29 days ago
UNICAP: Efficient Decision Support for Academic Resource and Capacity Management
Growing complexity of the data and processes to be managed, as well as the transition from strict governmental regulation towards autonomy make academic institutions a significant ...
Svetlana Vinnik, Marc H. Scholl
UIST
2004
ACM
14 years 28 days ago
Tangible NURBS-curve manipulation techniques using graspable handles on a large display
This paper presents tangible interaction techniques for fine-tuning one-to-one scale NURBS curves on a large display for automotive design. We developed a new graspable handle wit...
Seok-Hyung Bae, Takahiro Kobayash, Ryugo Kijima, W...
EMSOFT
2003
Springer
14 years 22 days ago
Space Reductions for Model Checking Quasi-Cyclic Systems
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
Matthew B. Dwyer, Robby, Xianghua Deng, John Hatcl...
SSIAI
2002
IEEE
14 years 12 days 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...
SP
2000
IEEE
110views Security Privacy» more  SP 2000»
13 years 12 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