3799 search results - page 627 / 760 » An Engineering Approach to Formal Methods |
177
click to vote
FOSSACS
2004
Springer
15 years 10 months ago
2004
Springer
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...
134
click to vote
PROFES
2009
Springer
15 years 9 months ago
2009
Springer
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...
162
Voted
ER
2006
Springer
15 years 8 months ago
2006
Springer
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...
189
click to vote
AICCSA
2008
IEEE
15 years 7 months ago
2008
IEEE
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...
143
click to vote
ALENEX
2007
15 years 6 months ago
2007
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...