Sciweavers

3428 search results - page 88 / 686
» Making the Case
Sort
View
COCOON
2007
Springer
15 years 10 months ago
On the Complexity of Finding an Unknown Cut Via Vertex Queries
We investigate the problem of finding an unknown cut through querying vertices of a graph G. Our complexity measure is the number of submitted queries. To avoid some worst cases, ...
Peyman Afshani, Ehsan Chiniforooshan, Reza Dorrigi...
124
Voted
ICFEM
2009
Springer
15 years 10 months ago
Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing
In this paper we describe the functional features and the architecture of a tool implementing the Stocks-Carrington framework (TTF) for model based testing (MBT). The resulting pro...
Maximiliano Cristiá, Pablo Rodríguez...
ICCBR
1999
Springer
15 years 8 months ago
Shaping a CBR View with XML
Case Based Reasoning has found increasing application on the Internet as an assistant in Internet commerce stores and as a reasoning agent for online technical support. The strengt...
Conor Hayes, Padraig Cunningham
ITICSE
2004
ACM
15 years 9 months ago
Using XML in a compiler course
In this paper we describe how XML can be introduced into a compiler construction course. We make the case that XML and compilers have much in common, and that introducing XML into...
D. Robert Adams, Christian Trefftz
ACSC
2002
IEEE
15 years 9 months ago
A Generalised Spreadsheet Verification Methodology
Although spreadsheets have been around for over thirty years, we are only just realising their importance. Most companies use spreadsheets in their decision-making processes, but ...
Nick Randolph, John Morris, Gareth Lee