Sciweavers

1287 search results - page 220 / 258
» A New Single Image Architecture for Distributed Computing Sy...
Sort
View
IANDC
2010
116views more  IANDC 2010»
13 years 7 months ago
Weak bisimulation is sound and complete for pCTL*
Abstract. We investigate weak bisimulation of probabilistic systems in the presence of nondeterminism, i.e. labelled concurrent Markov chains (LCMC) with silent transitions. We bui...
Josée Desharnais, Vineet Gupta, Radha Jagad...
VRML
2006
ACM
14 years 2 months ago
Using expressive rendering for remote visualization of large city models
In this paper, we present a new approach for remote visualization of large 3D cities. Our approach is based on expressive rendering (also known as Non-Photorealistic Rendering), a...
Jean-Charles Quillet, Gwenola Thomas, Xavier Grani...
WWW
2002
ACM
14 years 9 months ago
A web-based resource migration protocol using WebDAV
The web's hyperlinks are notoriously brittle, and break whenever a resource migrates. One solution to this problem is a transparent resource migration mechanism, which separa...
Michael P. Evans, Steven Furnell
EDOC
2003
IEEE
14 years 2 months ago
How MDA Can Help Designing Component- and Aspect-based Applications
Distributed systems are inherently complex, and therefore difficult to design and develop. Experience shows that new technologies—such as components, aspects, and application f...
Lidia Fuentes, Mónica Pinto, Antonio Vallec...
CCGRID
2007
IEEE
14 years 3 months ago
Virtual Clusters on the Fly - Fast, Scalable, and Flexible Installation
One of the advantages in virtualized computing clusters compared to traditional shared HPC environments is their ability to accommodate user-specific system customization. Howeve...
Hideo Nishimura, Naoya Maruyama, Satoshi Matsuoka