Sciweavers

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