186 search results - page 33 / 38 » Compositional modeling and refinement for hierarchical hybri... |
ICSE
2008
IEEE-ACM
16 years 12 days ago
2008
IEEE-ACM
JPREDICTOR is a tool for detecting concurrency errors in JAVA programs. The JAVA program is instrumented to emit property-relevant events at runtime and then executed. The resulti...
ENTCS
2007
14 years 11 months ago
2007
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
103
click to vote
MMS
2000
14 years 11 months ago
2000
A large-scale, distributed video-on-demand (VOD) system allows geographically dispersed residential and business users to access video services, such as movies and other multimedia...
WWW
2004
ACM
16 years 8 days ago
2004
ACM
The celebrated PageRank algorithm has proved to be a very effective paradigm for ranking results of web search algorithms. In this paper we refine this basic paradigm to take into...
105
click to vote
VIS
2004
IEEE
16 years 24 days ago
2004
IEEE
We present a system for simulating and visualizing the propagation of dispersive contaminants with an application to urban security. In particular, we simulate airborne contaminan...