Sciweavers

13140 search results - page 250 / 2628
» Coupling Component Systems towards Systems of Systems
Sort
View
ASWSD
2006
Springer
15 years 10 months ago
Towards Model-Driven Development of Hard Real-Time Systems
Christian Ferdinand, Reinhold Heckmann, Hans-J&oum...
ATVA
2006
Springer
83views Hardware» more  ATVA 2006»
15 years 10 months ago
Towards a Model-Checker for Counter Systems
Stéphane Demri, Alain Finkel, Valentin Gora...
DEXAW
2004
IEEE
93views Database» more  DEXAW 2004»
15 years 10 months ago
Toward Self-Stabilizing Operating Systems
Shlomi Dolev, Reuven Yagel
DAS
2006
Springer
15 years 10 months ago
Towards Versatile Document Analysis Systems
Henry S. Baird, Matthew R. Casey