4164 search results - page 650 / 833 » Application and desktop sharing |
180
Voted
VRML
2005
ACM
16 years 20 days ago
2005
ACM
We present an initial report on using our distributed, collaborative grid enabled visualization environment to link SuperComputing 2004 (Pittsburgh, PA, USA) with the Cardiff Scho...
189
click to vote
BERTINORO
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. Peer-to-peer networks have often been touted as the ultimate solution to scalability. Although cooperative techniques have been initially used almost exclusively for cont...
182
click to vote
DSVIS
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
159
click to vote
FROCOS
2005
Springer
16 years 19 days ago
2005
Springer
We describe results and status of a sub project of the Verisoft [1] project. While the Verisoft project aims at verification of a complete computer system starting with hardware a...
203
click to vote
GPCE
2005
Springer
16 years 19 days ago
2005
Springer
One of the themes in building reusable and maintainable software is identifying similarities and designing generic solutions to unify similarity patterns. In this paper, we analyze...