Sciweavers

3799 search results - page 627 / 760
» An Engineering Approach to Formal Methods
Sort
View
FOSSACS
2004
Springer
15 years 10 months ago
Polynomials for Proving Termination of Context-Sensitive Rewriting
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
Salvador Lucas
PROFES
2009
Springer
15 years 9 months ago
Value Creation by Agile Projects: Methodology or Mystery?
Business value is a key concept in agile software development approaches. This paper presents results of a systematic review of literature on how business value is created by agile...
Zornitza Racheva, Maya Daneva, Klaas Sikkel
162
Voted
ER
2006
Springer
116views Database» more  ER 2006»
15 years 8 months ago
Quality-Driven Automatic Transformation of Object-Oriented Navigational Models
Abstract. Navigability is a main concern in the design of Web applications. In order to assess such navigability a number of measures has been proposed. From them, measures defined...
Cristina Cachero, Marcela Genero, Coral Calero, Sa...
AICCSA
2008
IEEE
254views Hardware» more  AICCSA 2008»
15 years 7 months ago
Integrating software development security activities with agile methodologies
Because of several vulnerabilities in software products and high amount of damage caused by them, software developers are enforced to produce more secure systems. Software grows u...
Hossein Keramati, Seyed-Hassan Mirian-Hosseinabadi
ALENEX
2007
127views Algorithms» more  ALENEX 2007»
15 years 6 months ago
Intersection in Integer Inverted Indices
Inverted index data structures are the key to fast search engines. The predominant operation on inverted indices asks for intersecting two sorted lists of document IDs which might...
Peter Sanders, Frederik Transier