6020 search results - page 970 / 1204 » A New Approach to Model Counting |
175
click to vote
ICSM
2007
IEEE
16 years 23 days ago
2007
IEEE
Uncovering, modelling, and understanding architectural level dependencies of software systems is a key task for software maintainers. However, current dependency analysis techniqu...
178
click to vote
EVOW
2007
Springer
16 years 18 days ago
2007
Springer
The effective reverse engineering of biochemical networks is one of the great challenges of systems biology. The contribution of this paper is two-fold: 1) We introduce a new meth...
220
click to vote
MLDM
2007
Springer
16 years 17 days ago
2007
Springer
Advances in wireless and mobile technology flood us with amounts of moving object data that preclude all means of manual data processing. The volume of data gathered from position...
146
click to vote
SEMWEB
2007
Springer
16 years 17 days ago
2007
Springer
The design and maintenance of an aero-engine generates a significant amount of documentation. When designing new engines, engineers must obtain knowledge gained from maintenance o...
162
click to vote
HICSS
2006
IEEE
16 years 15 days ago
2006
IEEE
Little research has examined the relevance of real options for valuation of information technology (IT) investments for prioritizing a portfolio of projects. When the effect of pr...