Sciweavers

9006 search results - page 17 / 1802
» Modeling Software
Sort
View
91
Voted
HOTSWUP
2009
ACM
15 years 7 months ago
Cooperative Update: A New Model for Dependable Live Update
Cristiano Giuffrida, Andrew S. Tanenbaum
94
Voted
ICSE
2009
IEEE-ACM
15 years 7 months ago
The Automated Generation of Test Cases Using an Extended Domain Based Reliability Model
Alberto Avritzer, Elaine J. Weyuker
AC
2001
Springer
15 years 6 months ago
Machine Learning in User Modeling
Christos Papatheodorou
109
Voted
TACS
2001
Springer
15 years 6 months ago
Model-Checking LTL with Regular Valuations for Pushdown Systems
Javier Esparza, Antonín Kucera, Stefan Schw...
106
Voted
WER
2001
Springer
15 years 6 months ago
Developing Use Cases from Organizational Modeling
Victor F. A. Santander, Jaelson Castro