ENTCS
2002
13 years 4 months ago
2002
Once you have proved your refinement correct, that is not the end. Real products, and their accompanying specifications, develop over time, with new improved versions having added...
ICMB
2005
IEEE
13 years 10 months ago
2005
IEEE
This article investigates the growing complexity and connectivity between two former separated interaction spaces – the real and the virtual world. It is our attempt to augment ...