2048 search results - page 251 / 410 » Intelligent search techniques for large software systems |
144
click to vote
ESEM
2008
ACM
15 years 8 months ago
2008
ACM
Controlled experiments in web application testing use seeded faults to evaluate the effectiveness of the testing technique. However, the classes of seeded faults are not always ex...
161
click to vote
IEICET
2006
15 years 6 months ago
2006
Concurrency is one of the most important issues in system-level design. Interleaving among parallel processes can cause an extremely large number of different behaviors, making de...
215
click to vote
HYBRID
2010
Springer
15 years 8 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
163
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
The computing resources in a volunteer computing system are highly diverse in terms of software and hardware type, speed, availability, reliability, network connectivity, and othe...
292
click to vote
EIS
2011
15 years 1 months ago
2011
Most software engineering techniques that deal with software products customization are based on anticipation: The software designer has to foresee, somehow, the future needs for ...