6167 search results - page 111 / 1234 » Can Refinement be Automated |
202
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
We introduce eCAT, a tool that supports deriving test cases semi-automatically from goal-based analysis diagrams, generates meaningful test inputs based on agent interaction ontol...
176
click to vote
ICWS
2007
IEEE
15 years 5 months ago
2007
IEEE
We study the problem of synthesis of a choreogrpher in Web service composition for a given set of services and a goal. Services and goal are represented using i/o automata which c...
127
click to vote
BILDMED
2006
15 years 5 months ago
2006
Abstract. Magnetic Resonance Spectroscopic Imaging (MRSI) measures relative concentrations of metabolites in vivo and can thus be used for the diagnosis of certain tumors. We intro...
153
click to vote
AAAI
1994
15 years 5 months ago
1994
The ability to answer prediction questions is crucial to reasoning about physical systems. A prediction question poses a hypothetical scenario and asks for the resulting behavior ...
159
click to vote
ASE
2006
15 years 4 months ago
2006
Finite state machines have been used to model a number of classes of system and there has thus been much interest in the automatic generation of test sequences from finite state m...