Sciweavers

4586 search results - page 41 / 918
» Computing stable models in parallel
Sort
View
IPPS
2006
IEEE
15 years 12 months ago
Schedulability analysis of AADL models
Oleg Sokolsky, Insup Lee, Duncan Clarke
HPDC
2005
IEEE
15 years 11 months ago
A streaming validation model for SOAP digital signature
Wei Lu, Kenneth Chiu, Aleksander Slominski, Dennis...