9316 search results - page 17 / 1864 » Analysis of traceback techniques |
CORR
2011
Springer
13 years 2 months ago
2011
Springer
Despite the increasing maturity of model-driven development (MDD), some research challenges remain open in the field of information systems (IS). For instance, there is a need to i...
WIAMIS
2009
IEEE
14 years 2 months ago
2009
IEEE
In this paper, two approaches to utilizing contextual information in semantic image analysis are presented and comparatively evaluated. Both approaches make use of spatial context...
ITC
2003
IEEE
14 years 19 days ago
2003
IEEE
Many of the tools and techniques used to evaluate and characterize ICs can be applied to MEMS technology. In this paper we discuss various tools and techniques used to provide str...
GECCO
2008
Springer
13 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...
TCS
2008
13 years 7 months ago
2008
Analysis of Distributed Abstract Machines Damien Pous ENS Lyon, France. We illustrate the use of recently developed proof techniques for weak bisimulation sing a generic framework...