Sciweavers

6274 search results - page 762 / 1255
» Proofs, Programs, Processes
Sort
View
183
Voted
JURIX
2008
15 years 8 months ago
Argument Based Moderation of Benefit Assessment
: Error rates in the assessment of routine claims for welfare benefits have been found to very high in Netherlands, USA and UK. This is a significant problem both in terms of quali...
Maya Wardeh, Trevor J. M. Bench-Capon, Frans Coene...
DAGSTUHL
2006
15 years 8 months ago
Rule-based Model Extraction from Source Code
Abstract. In the context of an approach for reengineering legacy software systems at the architectural level, we present in this paper a reverse engineering methodology that uses a...
Rui Correia, Carlos M. P. Matos, Mohammad El-Ramly...
IADIS
2003
15 years 8 months ago
Quality Assurance in Teaching English
The issue of quality assurance has been on the agenda of distance and open teachinguniversities for many years. In such a context, the development of high quality study materials ...
Mahmoud Alimohammadi
OPODIS
2003
15 years 8 months ago
Transformations for Write-All-with-Collision Model
Dependable properties such as self-stabilization are crucial requirements in sensor networks. One way to achieve these properties is to utilize the vast literature on distributed ...
Sandeep S. Kulkarni, Umamaheswaran Arumugam
OSDI
1994
ACM
15 years 8 months ago
Distributed Filaments: Efficient Fine-Grain Parallelism on a Cluster of Workstations
A fine-grain parallel program is one in which processes are typically small, ranging from a few to a few hundred instructions. Fine-grain parallelism arises naturally in many situ...
Vincent W. Freeh, David K. Lowenthal, Gregory R. A...