1418 search results - page 62 / 284 » How to Explain Mistakes |
ENTCS
2008
13 years 10 months ago
2008
This paper presents an approach which supports verification and model-based adaptation of software compod services implemented using Windows Workflow Foundation (WF). First, we pr...
IIE
2006
13 years 9 months ago
2006
We present a collaborative learning tool for programming, Jeliot Collaboratively or JeCo. Jeliot Collaboratively is a combination of a program visualization tool for Java programs,...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
—Situations in many fields of research, such as digital communications, nuclear physics and mathematical finance, can be modelled with random matrices. When the matrices get la...
JANCL
2006
13 years 9 months ago
2006
We describe KAT-ML, an implementation of an interactive theorem prover for Kleene algebra with tests (KAT). The system is designed to reflect the natural style of reasoning with K...
ACS
2005
13 years 9 months ago
2005
We develop a symmetric analog of brace algebras and discuss the relation of such algebras to L-algebras. We give an alternate proof that the category of symmetric brace algebras is...