Login / Signup
A Formal Model to Manage the InfiniBand Arbitration Tables Providing QoS.
Francisco José Alfaro
José L. Sánchez
M. Menduiña
José Duato
Published in:
IEEE Trans. Computers (2007)
Keyphrases
</>
formal model
quality of service
security patterns
database
databases
web services
security properties
predicate calculus
probabilistic knowledge
materialized views
service selection
formal models
network conditions