422 search results - page 73 / 85 » Automatic Generation of Program Families by Model Restrictio... |
ICST
2010
IEEE
13 years 6 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
OTM
2005
Springer
14 years 29 days 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...
TIP
2008
13 years 7 months ago
2008
In this paper, we present an automatic classification framework combining appearance based features and Hidden Markov Models (HMM) to detect unusual events in image sequences. One...
BMCBI
2008
13 years 7 months ago
2008
Background: The most common substitution matrices currently used (BLOSUM and PAM) are based on protein sequences with average amino acid distributions, thus they do not represent ...
WWW
2007
ACM
14 years 8 months ago
2007
ACM
The Web Mashup Scripting Language (WMSL) enables an enduser ("you") working from his browser, e.g. not needing any other infrastructure, to quickly write mashups that in...