DASFAA
2011
IEEE
13 years 4 months ago
2011
IEEE
Bayesian network is a widely used tool for data analysis, modeling and decision support in various domains. There is a growing need for techniques and tools which can automatically...
TSE
2010
13 years 7 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...
NAR
2010
13 years 7 months ago
2010
The Freiburg RNA tools web server integrates three tools for the advanced analysis of RNA in a common webbased user interface. The tools IntaRNA, ExpaRNA, and LocARNA support the ...
JUCS
2010
13 years 7 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
IHI
2010
13 years 7 months ago
2010
As the fields of translational research and personalized medicine evolve, the need clinicians and scientists have to exchange experimental results is growing. As different termino...
TSE
2011
13 years 7 months ago
2011
—Randomized testing is an effective method for testing software units. Thoroughness of randomized unit testing varies widely according to the settings of certain parameters, such...
CSCW
2011
ACM
13 years 7 months ago
2011
ACM
Computer users rely on software tools to work effectively and efficiently, but it is difficult for users to be aware of all the tools that might be useful to them. While there a...
AMAST
2010
Springer
13 years 7 months ago
2010
Springer
Maude modules can be understood as models that can be formally analyzed and verified with respect to different properties expressing various formal requirements. However, Maude lac...
IPAW
2010
13 years 10 months ago
2010
Abstract. "Why does the build fail currently?" - This and similar questions arise on a daily basis in software development processes (SDP). There is no easy way to answer...
ICSOC
2009
Springer
13 years 10 months ago
2009
Springer
Abstract. Aside of day-to-day business in some organizations Enterprise Architecture (EA) seems to be successful while it is not in others that also have notations, models, methods...