Sciweavers

595 search results - page 102 / 119
» Software Strategies in developing Countries
Sort
View
TCGOV
2005
Springer
15 years 8 months 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
15 years 8 months 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
15 years 8 months 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...
122
Voted
SSIAI
2002
IEEE
15 years 7 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...
SP
2000
IEEE
110views Security Privacy» more  SP 2000»
15 years 7 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