2562 search results - page 363 / 513 » Experience Management within Project Management Processes |
123
click to vote
FM
2009
Springer
15 years 11 months ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
145
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
Evolution of software systems is characterized by inevitable changes of software and increasing software complexity, which in turn may lead to huge maintenance and development cos...
117
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
As the size and popularity of computer clusters go on growing, fault tolerance is becoming a crucial factor to ensure high performance and reliability for applications. To provide...
133
click to vote
ECTEL
2007
Springer
15 years 11 months ago
2007
Springer
Today, systems should react based on explicit demands from the learner or even proactively react based on changes in the working environment. The success of this type of systems de...
137
click to vote
INEX
2007
Springer
15 years 11 months ago
2007
Springer
Wikipedia is becoming ever more popular. Linking between documents is typically provided in similar environments in order to achieve collaborative knowledge sharing. However, this ...