Sciweavers

22698 search results - page 15 / 4540
» Modeling in Software Engineering
Sort
View
HOTSWUP
2009
ACM
15 years 10 months ago
Cooperative Update: A New Model for Dependable Live Update
Cristiano Giuffrida, Andrew S. Tanenbaum
AC
2001
Springer
15 years 10 months ago
Machine Learning in User Modeling
Christos Papatheodorou
TACS
2001
Springer
15 years 10 months ago
Model-Checking LTL with Regular Valuations for Pushdown Systems
Javier Esparza, Antonín Kucera, Stefan Schw...