1092 search results - page 54 / 219 » Automated Evaluation of Coordination Approaches |
128
click to vote
KBSE
2010
IEEE
14 years 10 months ago
2010
IEEE
Software testing has been commonly used in assuring the quality of database applications. It is often prohibitively expensive to manually write quality tests for complex database ...
ICSE
2000
IEEE-ACM
15 years 3 months ago
2000
IEEE-ACM
Little-JIL, a language for programming coordination in processes is an executable, high-level language with a formal (yet graphical) syntax and rigorously defined operational seTh...
HF
2002
14 years 11 months ago
2002
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...
HLK
2003
IEEE
15 years 5 months ago
2003
IEEE
Deformable 3–D models can be represented either as explicit or implicit surfaces. Explicit surfaces, such as triangulations or wire-frame models, are widely accepted in the Comp...
DAC
2006
ACM
16 years 24 days ago
2006
ACM
DNA self-assembly is an emerging technology with potential as a future replacement of conventional lithographic fabrication. A key challenge is the specification of appropriate DN...