Sciweavers

3330 search results - page 214 / 666
» software 2010
Sort
View
122
Voted
ISPW
2010
IEEE
14 years 10 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...
86
Voted
EOR
2006
77views more  EOR 2006»
15 years 21 days 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»
15 years 19 days 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»
14 years 10 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
92
Voted
ICMS
2010
14 years 10 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, ...