Sciweavers

11797 search results - page 307 / 2360
» Recent Developments in the Experimental
Sort
View
SPLC
2004
15 years 8 months ago
A Feature-Based Approach to Product Line Production Planning
Abstract. A production plan, which describes how core assets are used to develop products, has an important role in product line engineering as a communication medium between core ...
Jaejoon Lee, Kyo Chul Kang, Sajoong Kim
HICSS
2010
IEEE
147views Biometrics» more  HICSS 2010»
15 years 7 months ago
Understanding the Adoption of Electronic Banking in China
Electronic banking (e-banking), facilitated by various Electronic Commerce (EC) technologies, has helped commercial banks to stay competitive through productivity gains, transacti...
Sherah Kurnia, Fei Peng, Yi Ruo Liu
COMPUTER
2006
87views more  COMPUTER 2006»
15 years 6 months ago
What Can We Expect from Program Verification?
The role of intuition in software development was discussed in a most original fashion by Peter Naur in 1984. Yet there has been little subsequent interest in elaborating on Naur&#...
Michael Jackson
TAICPART
2006
IEEE
131views Education» more  TAICPART 2006»
16 years 23 days ago
Bogor: A Flexible Framework for Creating Software Model Checkers
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
Robby, Matthew B. Dwyer, John Hatcliff
AFRIGRAPH
2004
ACM
16 years 5 days ago
Realistic shading of human skin in real time
The demand for realistic human characters is driven by interactive application developers worldwide. The look of 3D models in real time graphics is efficiently improved by powerfu...
Florian Struck, Christian-A. Bohn, Sebastian Schmi...