Sciweavers

3330 search results - page 214 / 666
» software 2010
Sort
View
ISPW
2010
IEEE
13 years 8 months ago
Critical Success Factors for Rapid, Innovative Solutions
Many of today's problems are in search of new, innovative solutions. However, the development of new and innovative solutions has been elusive to many, resulting in considerab...
Jo Ann Lane, Barry W. Boehm, Mark T. Bolas, Azad M...
EOR
2006
77views more  EOR 2006»
13 years 11 months ago
A framework for ex ante project risk assessment based on absorptive capacity
This paper explores the applicability of the concepts of absorptive capacity and ``ba'' to ex ante project risk. We develop a hybrid framework to explain knowledge trans...
Michael J. Cuellar, Michael J. Gallivan
ENTCS
2007
108views more  ENTCS 2007»
13 years 11 months ago
Termination Criteria for DPO Transformations with Injective Matches
Reasoning about graph and model transformation systems is an important means to underpin model-driven software engineering, such as Model-Driven Architecture (MDA) and Model Integ...
Tihamer Levendovszky, Ulrike Prange, Hartmut Ehrig
FMAM
2010
174views Formal Methods» more  FMAM 2010»
13 years 9 months ago
Are Formal Methods Ready for Agility? A Reality Check
Abstract: The integration of agile software development techniques with formal methods has attracted attention as a research topic. But what exactly is to be gained from attempting...
Peter Gorm Larsen, John S. Fitzgerald, Sune Wolff
ICMS
2010
13 years 9 months ago
Efficient Evaluation of Large Polynomials
Abstract. Minimizing the evaluation cost of a polynomial expression is a fundamental problem in computer science. We propose tools that, for a polynomial P given as the sum of its ...
Charles E. Leiserson, Liyun Li, Marc Moreno Maza, ...