732 search results - page 124 / 147 » Automated Test Generation from Models Based on Functional So... |
OTM
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We introduce XMLVM, a Turing complete XML-based programming language based on a stack-based, virtual machine. We show how XMLVM can automatically be created from Java cla...
TCAD
2010
13 years 2 months ago
2010
Protein crystallization is a commonly used technique for protein analysis and subsequent drug design. It predicts the 3-D arrangement of the constituent amino acids, which in turn ...
WWW
2006
ACM
14 years 8 months ago
2006
ACM
The Web plays a critical role in hosting Web communities, their content and interactions. A prime example is the open source software (OSS) community, whose members, including sof...
IUI
2004
ACM
14 years 29 days ago
2004
ACM
A key to improving at any task is frequent feedback from people whose opinions we care about: our family, friends, mentors, and the experts. However, such input is not usually ava...
RE
2006
Springer
13 years 7 months ago
2006
Springer
We introduce a variability-intensive approach to goal decomposition that is tailored to support requirements identification for highly customizable software. The approach is based...