3316 search results - page 508 / 664 » Mining Software Engineering Data |
114
click to vote
CERA
2007
15 years 1 months ago
2007
: In a collaborative computer-supported engineering environment, the interoperation of various applications will need a representation that goes beyond the current geometry-based r...
100
click to vote
RE
2002
Springer
15 years 1 months ago
2002
Springer
Planning for the optimal attainment of requirements is an important early lifecycle activity. However, such planning is difficult when dealing with competing requirements, limited...
121
click to vote
SAC
2008
ACM
15 years 1 months ago
2008
ACM
This paper presents a methodology to derive a Supply Chain Management Ontology based on the RosettaNet specification framework. A prototype to mechanically derive a core ontology ...
112
Voted
ICFEM
2010
Springer
15 years 6 days ago
2010
Springer
Despite the advancements of concurrency theory in the past decades, practical concurrent programming has remained a challenging activity. Fundamental problems such as data races an...
ICFEM
2010
Springer
15 years 6 days ago
2010
Springer
Abstract. Verification of programs with invocations to unknown procedures is a practical problem, because in many scenarios not all codes of programs to be verified are available...