Sciweavers

1025 search results - page 132 / 205
» Improved Behaviour of Tries by the
Sort
View
ASWEC
2008
IEEE
15 years 3 months ago
Embedding Architectural Practices into Extreme Programming
Today, agile methods become a popular approach to develop software systems. They try to satisfy customer, respond to changes, release in less time and achieve suitable profits for...
Amir Azim Sharifloo, Amir S. Saffarian, Fereidoon ...
CP
2008
Springer
15 years 3 months ago
CPBPV: A Constraint-Programming Framework for Bounded Program Verification
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...
Hélène Collavizza, Michel Rueher, Pa...
IAT
2007
IEEE
15 years 3 months ago
Resource-Aware Update Policy for Highly Dynamic P2P Networks
As a user attention has become a precious resource, a special care has to be taken to reduce the time needed for answering queries in P2P networks. Existing solutions are usually ...
Dragan Milosevic, Jérôme Kunegis, Sah...
124
Voted
ESWS
2008
Springer
15 years 3 months ago
Enhancing Semantic Search using N-Levels Document Representation
The traditional strategy performed by Information Retrieval (IR) systems is ranked keyword search: For a given query, a list of documents, ordered by relevance, is returned. Releva...
Pierpaolo Basile, Annalina Caputo, Anna Lisa Genti...
EUROSPI
2008
Springer
15 years 3 months ago
Lightweight Process Documentation: Just Enough Structure in Automotive Pre-development
Pre-development in the automotive sector is informally organized to support the engineers trying out new ideas and generally being creative. If feasibility studies reveal system�...
Kai Stapel, Eric Knauss, Christian Allmann