537 search results - page 40 / 108 » tools 1999 |
SPIRE
1999
Springer
15 years 2 months ago
1999
Springer
Collaborative Virtual Environments (CVE) support the collaboration, communication and social interaction among users in virtual spaces. In this paper we present a customizable CVE...
TACAS
1999
Springer
15 years 2 months ago
1999
Springer
We consider the problem of computing concrete diagnostics for timed automata and reachability properties. Concrete means containing information both about the discrete state change...
TLCA
1999
Springer
15 years 2 months ago
1999
Springer
AnnoDomini is a commercially available source-to-source conversion tool for finding and fixing Year 2000 problems in COBOL programs. AnnoDomini uses type-based specification, an...
CGF
1999
14 years 9 months ago
1999
In this paper, we outline the creation of an Informed Environment, dedicated to urban life simulation.We propose methods and tools for creating and providing the information neces...
CGF
1999
14 years 9 months ago
1999
Image metamorphosis as an animation tool has mostly been employed in the context of the entire image. This work explores the use of isolated and focused image based metamorphosis ...