Sciweavers

29046 search results - page 476 / 5810
» Computable Models
Sort
View
135
Voted
QOSIP
2005
Springer
15 years 12 months ago
A Performance Model for Multimedia Services Provisioning on Network Interfaces
Paola Laface, Damiano Carra, Renato Lo Cigno
138
Voted
SPIN
2005
Springer
15 years 12 months ago
Memory Efficient State Space Storage in Explicit Software Model Checking
Sami Evangelista, Jean-François Pradat-Peyr...
SPIN
2005
Springer
15 years 12 months ago
SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions
Anil Madhavapeddy, David Scott, Richard Sharp
172
Voted
WSTST
2005
Springer
15 years 12 months ago
Characteristic Analysis of Agents in Adaptive Consensus Formation Models
Hiroaki Oumi, Tamotsu Mitamura, Masahito Kurihara,...