174 search results - page 24 / 35 » On Finding Duplication and Near-Duplication in Large Softwar... |
HICSS
2003
IEEE
14 years 20 days ago
2003
IEEE
The Technology Acceptance Model (TAM) predicts whether users will ultimately use software applications based upon causal relationships among belief and attitudinal constructs that...
GRAPHICSINTERFACE
2001
13 years 8 months ago
2001
An image sequence is a series of interrelated images. To enable navigation of large image sequences, many current software packages display small versions of the images, called th...
EUROMICRO
2006
IEEE
14 years 1 months ago
2006
IEEE
In large software and systems engineering companies like Siemens PSE there are several requirements tools in use. There is no “one tool fits all projects/departments” solution...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
Research on knowledge management (KM) readiness has matured. However, recent organizational structures have emerged which prevent traditional instruments from adequately measuring...
VSTTE
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...