623 search results - page 105 / 125 » Adapting the UPPAAL Model of a Distributed Lift System |
SIGIR
2009
ACM
14 years 1 months ago
2009
ACM
Social network systems, like last.fm, play a significant role in Web 2.0, containing large amounts of multimedia-enriched data that are enhanced both by explicit user-provided an...
IPPS
2003
IEEE
14 years 20 days ago
2003
IEEE
Widespread adaptation of shared memory programming for High Performance Computing has been inhibited by a lack of standardization and the resulting portability problems between pl...
APN
2007
Springer
14 years 1 months ago
2007
Springer
In this work, we propose two high-level formalisms, Markov Decision Petri Nets (MDPNs) and Markov Decision Well-formed Nets (MDWNs), useful for the modeling and analysis of distrib...
PPAM
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In order to take full advantage of high-end computing platforms, scientific applications often require modifications to source codes, and to their build systems that ge...
VIS
2004
IEEE
14 years 8 months 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...