Sciweavers

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