Sciweavers

1036 search results - page 153 / 208
» Report on INEX 2009
Sort
View
ESEM
2009
ACM
15 years 4 months ago
A detailed examination of the correlation between imports and failure-proneness of software components
Research has provided evidence that type usage in source files is correlated with the risk of failure of software components. Previous studies that investigated the correlation b...
Ekwa Duala-Ekoko, Martin P. Robillard
ISSTA
2009
ACM
15 years 4 months ago
Run-time conformance checking of mobile and distributed systems using executable models
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel
SAC
2009
ACM
15 years 4 months ago
SWOBE - embedding the semantic web languages RDF, SPARQL and SPARUL into java for guaranteeing type safety, for checking the sat
The Semantic Web and its technologies become increasingly important. As more and more Semantic Web applications are being used, developing more stable Semantic Web applications be...
Sven Groppe, Jana Neumann, Volker Linnemann
CIKM
2009
Springer
15 years 4 months ago
Scalable continuous range monitoring of moving objects in symbolic indoor space
Indoor spaces accommodate large populations of individuals. The continuous range monitoring of such objects can be used as a foundation for a wide variety of applications, e.g., s...
Bin Yang 0002, Hua Lu, Christian S. Jensen
GECCO
2009
Springer
119views Optimization» more  GECCO 2009»
15 years 4 months ago
Cooperative micro-differential evolution for high-dimensional problems
High–dimensional optimization problems appear very often in demanding applications. Although evolutionary algorithms constitute a valuable tool for solving such problems, their ...
Konstantinos E. Parsopoulos