Sciweavers

2056 search results - page 213 / 412
» Detecting Errors in Spreadsheets
Sort
View
DSVIS
2006
Springer
15 years 10 months ago
Formal Modelling of Cognitive Interpretation
We formally specify the interpretation stage in a dual state space human-computer interaction cycle. This is done by extending / reorganising our previous cognitive architecture. I...
Rimvydas Ruksenas, Paul Curzon, Jonathan Back, Ann...
AMDO
2008
Springer
15 years 8 months ago
Body-Part Templates for Recovery of 2D Human Poses under Occlusion
Detection of humans and estimation of their 2D poses from a single image are challenging tasks. This is especially true when part of the observation is occluded. However, given a l...
Ronald Poppe, Mannes Poel
BPM
2008
Springer
122views Business» more  BPM 2008»
15 years 8 months ago
Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance
Abstract. Many work has been conducted to analyze service choreographies to assert manyfold correctness criteria. While errors can be detected automatically, the correction of defe...
Niels Lohmann
IASSE
2004
15 years 8 months ago
Execution of A Requirement Model in Software Development
Latest research results have shown that requirements errors have a prolonged impact on software development and that they are more expensive to fix during later stages than early ...
Wuwei Shen, Mohsen Guizani, Zijiang Yang, Kevin J....
CLEIEJ
2006
126views more  CLEIEJ 2006»
15 years 6 months ago
Software Based Fault Tolerance against Byzantine Failures
The proposed software technique is a very low cost and an effective solution towards designing Byzantine fault tolerant computing application systems that are not so safety critic...
Goutam Kumar Saha