1255 search results - page 19 / 251 » A Proof Environment for the Development of Group Communicati... |
AINA
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper proposes the concept of the hybrid information space that integrates the information space seamlessly between the real world and the virtual world, and the prototype sy...
VRML
1999
ACM
13 years 12 months ago
1999
ACM
This paper presents our work and research findings on developing the concept of a multi-user shared environment for culture, performance, art and entertainment. It introduces arti...
ETS
2000
IEEE
13 years 7 months ago
2000
IEEE
Organizations have long had the need to record and protect the knowledge that is their intellectual capital. However, the primary burden for knowledge management has been borne by...
APSEC
2002
IEEE
14 years 16 days ago
2002
IEEE
We have taught several distributed software engineering project courses with students and real clients [4]. During these projects, students in Pittsburgh and Munich, Germany colla...
ICFEM
2009
Springer
14 years 2 months ago
2009
Springer
It is believed that reusability in formal development should reduce the time and cost of formal modelling within a production environment. Along with the ability to reuse formal mo...