Sciweavers

5847 search results - page 1002 / 1170
» Visualization of Knowledge Structures
Sort
View
SIGMETRICS
2000
ACM
105views Hardware» more  SIGMETRICS 2000»
15 years 6 months ago
Using the exact state space of a Markov model to compute approximate stationary measures
We present a new approximation algorithm based on an exact representation of the state space S, using decision diagrams, and of the transition rate matrix R, using Kronecker algeb...
Andrew S. Miner, Gianfranco Ciardo, Susanna Donate...
ISPAN
1999
IEEE
15 years 6 months ago
Distributed Clustering for Ad Hoc Networks
A Distributed Clustering Algorithm DCA and a Distributed Mobility-Adaptive Clustering DMAC algorithm are presented that partition the nodes of a fully mobile network ad hoc networ...
Stefano Basagni
ISPAN
1999
IEEE
15 years 6 months ago
Performance and Granularity Control in the SPaDES Parallel Simulation System
Parallel simulationhas the potentialto accelerate the execution of simulation applications. However, developing a parallel discrete-event simulation from scratch requires an in-de...
Yong Meng Teo, Seng Chuan Tay
94
Voted
FM
1999
Springer
109views Formal Methods» more  FM 1999»
15 years 6 months ago
Compositional Symmetric Sharing in B
Sharing between B constructs is limited, both on the specification and the implementation level. The limitations stem from the single writer/multiple readers paradigm, restricted ...
Martin Büchi, Ralph-Johan Back
WETICE
1999
IEEE
15 years 6 months ago
Collective Choice in Virtual Teams
Virtual organisations within and across enterprise structures are becoming mature as a potentially effective means for goal oriented business teamwork. Among the plentyful of supp...
Alois Ferscha, Christoph Scheiner
« Prev « First page 1002 / 1170 Last » Next »