Sciweavers

2927 search results - page 33 / 586
» An OR Parallel Prolog Model for Distributed Memory Systems
Sort
View
IPPS
2008
IEEE
14 years 3 months ago
Analytic performance models for bounded queueing systems
Praveen Krishnamurthy, Roger D. Chamberlain
CW
2002
IEEE
14 years 1 months ago
An E-shopping System with Different Negotiation Models
Hiroshi Ouchiyama, Takeshi Yamazaki, Runhe Huang
CONCUR
1995
Springer
14 years 10 days ago
Compositional Model Checking of Real Time Systems
François Laroussinie, Kim Guldstrand Larsen