1418 search results - page 127 / 284 » How to Explain Mistakes |
ENTCS
2006
13 years 10 months ago
2006
Partial functions and operators are used extensively in the formal development of programs and thus development methods have to clarify how to reason about them. There are a numbe...
IJBC
2008
13 years 10 months ago
2008
In this work we study some properties associated with the bordercollision bifurcations in a two-dimensional piecewise linear map in canonical form, related to the case in which a ...
ENTCS
2006
13 years 10 months ago
2006
Scannerless generalized parsing techniques allow parsers to be derived directly from unified, declarative specifications. Unfortunately, in order to uniquely parse existing progra...
EOR
2006
13 years 10 months ago
2006
This paper explores the applicability of the concepts of absorptive capacity and ``ba'' to ex ante project risk. We develop a hybrid framework to explain knowledge trans...
GRID
2006
Springer
13 years 10 months ago
2006
Springer
In this paper we propose a systematic approach to performance analysis of workflow applications on the Grid. We introduce an ideal model for the workflow execution time and explain...