7066 search results - page 1112 / 1414 » Contact Relations with Applications |
245
click to vote
ECAI
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Model update is an approach to enhance model checking functions by providing computer aided modifications in system development [2, 9]. It has been observed that one majo...
243
click to vote
ECSA
2010
Springer
15 years 8 months ago
2010
Springer
Although a lot of research has been carried out on the technical architecture of software systems, the domain of Functional Architecture in the software product industry lacks a fo...
229
click to vote
HPDC
2010
IEEE
15 years 8 months ago
2010
IEEE
Modern scientific experiments can generate hundreds of gigabytes to terabytes or even petabytes of data that may furthermore be maintained in large numbers of relatively small fil...
219
click to vote
HUC
2010
Springer
15 years 8 months ago
2010
Springer
Storytelling and sharing family histories are important parts of what it means to "be" a family. Based on results from a study on intergenerational communication over a ...
251
click to vote
GECCO
2008
Springer
15 years 8 months ago
2008
Springer
Evolutionary testing denotes the use of evolutionary algorithms, e.g., Genetic Algorithms (GAs), to support various test automation tasks. Since evolutionary algorithms are heuris...