Sciweavers

43264 search results - page 502 / 8653
» Comparing models of computation
Sort
View
ERCIM
2007
73views more  ERCIM 2007»
15 years 6 months ago
Formal Modelling and Verification in Service-Oriented Computing
Maurice H. ter Beek, Stefania Gnesi, Fabio Martine...
HF
2007
40views more  HF 2007»
15 years 6 months ago
Lane-Change Detection Using a Computational Driver Model
Dario D. Salvucci, Hiren M. Mandalia, Nobuyuki Kug...
IEICET
2007
64views more  IEICET 2007»
15 years 6 months ago
Architectural-Level Soft-Error Modeling for Estimating Reliability of Computer Systems
Makoto Sugihara, Tohru Ishihara, Kazuaki Murakami