Sciweavers

3868 search results - page 594 / 774
» A Distributed Parallel Programming Framework
Sort
View
ISORC
2002
IEEE
15 years 11 months ago
Packaging Quality of Service Control Behaviors for Reuse
Two limitations of the current implementations of adaptive QoS behaviors are complexity associated with inserting them into common application contexts and lack of reusability acr...
Richard E. Schantz, Joseph P. Loyall, Michael Atig...
COLCOM
2009
IEEE
15 years 11 months ago
The Quality Social Network: A collaborative environment for personalizing Web access
—In this paper, we present a collaborative social networking environment, referred to as Quality Social Network (QSN), which enhances the social tagging paradigm by using it as a...
Andrea Perego, Barbara Carminati, Elena Ferrari
CONCUR
2001
Springer
15 years 11 months ago
Compositional Modeling of Reactive Systems Using Open Nets
In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designate...
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Rei...
CONCUR
2001
Springer
15 years 11 months ago
Symbolic Computation of Maximal Probabilistic Reachability
We study the maximal reachability probability problem for infinite-state systems featuring both nondeterministic and probabilistic choice. The problem involves the computation of ...
Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sprost...
IPPS
2000
IEEE
15 years 10 months ago
Exploring the Switch Design Space in a CC-NUMA Multiprocessor Environment
The switch design for interconnection networks plays an important role in the overall performance of multiprocessors and computer networks. It is therefore crucial to study variou...
Marius Pirvu, Nan Ni, Laxmi N. Bhuyan