Sciweavers

3667 search results - page 24 / 734
» Software Rejuvenation - Modeling and Analysis
Sort
View
112
Voted
ASWEC
2008
IEEE
15 years 11 months ago
Open Source Communities as Social Networks: An Analysis of Some Peculiar Characteristics
Giulio Concas, Manuela Lisci, Sandro Pinna, Guido ...
HIPEAC
2007
Springer
15 years 11 months ago
Bounds Checking with Taint-Based Analysis
Weihaw Chuang, Satish Narayanasamy, Brad Calder, R...
ASWEC
2006
IEEE
15 years 11 months ago
Model-based runtime analysis of distributed reactive systems
Andreas Bauer 0002, Martin Leucker, Christian Scha...
VMCAI
2005
Springer
15 years 10 months ago
Scalable Analysis of Linear Systems Using Mathematical Programming
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Man...