Sciweavers

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