1752 search results - page 86 / 351 » Application Specific Processing: A Tools Approach |
112
Voted
FMICS
2008
Springer
15 years 4 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
149
Voted
DOCENG
2010
ACM
15 years 1 months ago
2010
ACM
In this paper we present tools that provide an easy way to edit XML content directly on the web, with the usual benefit of valid XML content. These tools make it possible to crea...
123
Voted
WWW
2005
ACM
16 years 3 months ago
2005
ACM
We present an approach in which the semantics of an XML language is defined by means of a transformation from an XML document model (an XML schema) to an application specific mode...
150
Voted
TSE
2010
14 years 9 months ago
2010
Genetic algorithms (GAs) have been applied previously to UML-driven, stress test requirements generation with the aim of increasing chances of discovering faults relating to networ...
131
Voted
BMCBI
2006
15 years 2 months ago
2006
Background: The ever-expanding population of gene expression profiles (EPs) from specified cells and tissues under a variety of experimental conditions is an important but difficu...