4895 search results - page 177 / 979 » Tools for Grammar Engineering |
144
click to vote
ICTAI
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, a tool that uses an argumentation based decision making framework is proposed for the construction of mutual fund portfolios. The argumentation framework is employe...
119
click to vote
FATES
2003
Springer
15 years 10 months ago
2003
Springer
We present work on a tool environment for model-based testing with the Abstract State Machine Language (AsmL). Our environment supports semiautomatic parameter generation, call seq...
209
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
CUTE, a Concolic Unit Testing Engine for C and Java, is a tool to systematically and automatically test sequential C programs (including pointers) and concurrent Java programs. CUT...
130
click to vote
CLOUDCOM
2009
Springer
15 years 8 months ago
2009
Springer
There is a rapid increase in the size of data centres (DCs) used to provide cloud computing services. It is commonly agreed that not all properties in the middleware that manages D...
172
Voted
CORR
2002
Springer
15 years 5 months ago
2002
Springer
Diagnosing faults in aircraft gas turbine engines is a complex problem. It involves several tasks, including rapid and accurate interpretation of patterns in engine sensor data. W...