Sciweavers

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