30 search results - page 4 / 6 » A Lifecycle approach to evaluating MyArtSpace |
CBSQ
2003
Springer
14 years 3 months ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
CHI
2004
ACM
14 years 10 months ago
2004
ACM
Currently there is a lack of explicit theories and few detailed guidelines to support the development of Mixed Reality (MR) technology and its varied applications. This research f...
ESWS
2007
Springer
14 years 4 months ago
2007
Springer
Semantic Business Process Management (SBPM) utilizes semantic technologies to achieve more automation throughout the BPM lifecycle. An integral part of the SBPM infrastructure is a...
ASPLOS
2011
ACM
13 years 1 months ago
2011
ACM
Concurrency bugs are caused by non-deterministic interleavings between shared memory accesses. Their effects propagate through data and control dependences until they cause softwa...
HICSS
2003
IEEE
14 years 3 months ago
2003
IEEE
Many software projects fail because early life-cycle defects such as ill-defined requirements are not identified and removed. Therefore, quality assurance (QA) techniques for defe...