Sciweavers

442 search results - page 73 / 89
» A Model for Capturing and Managing Software Engineering Know...
Sort
View
CCE
2004
13 years 7 months ago
Workflow and information centered support of design processes - the IMPROVE perspective
Design process excellence is considered a major differentiating factor between competing enterprises since it determines the constraints within which plant operation and supply ch...
Wolfgang Marquardt, Manfred Nagl
VRST
2009
ACM
14 years 2 months ago
Indexing and retrieval of human motion data by a hierarchical tree
For the convenient reuse of large-scale 3D motion capture data, browsing and searching methods for the data should be explored. In this paper, an efficient indexing and retrieval...
Shuangyuan Wu, Zhaoqi Wang, Shihong Xia
KBSE
2003
IEEE
14 years 27 days ago
Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach
Eliciting the requirements for a proposed system typically involves different stakeholders with different expertise, responsibilities, and perspectives. Viewpoints-based approache...
Mehrdad Sabetzadeh, Steve M. Easterbrook
PPDP
2009
Springer
14 years 2 months ago
Model-checking higher-order functions
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...
Naoki Kobayashi
ICSE
2010
IEEE-ACM
14 years 12 days ago
Characterizing and predicting which bugs get fixed: an empirical study of Microsoft Windows
We performed an empirical study to characterize factors that affect which bugs get fixed in Windows Vista and Windows 7, focusing on factors related to bug report edits and relat...
Philip J. Guo, Thomas Zimmermann, Nachiappan Nagap...