Sciweavers

3914 search results - page 16 / 783
» Automating SLA modeling
Sort
View
100
Voted
CSL
1998
Springer
15 years 3 months ago
Scaled random trajectory segment models
Jacob Goldberger, David Burshtein
108
Voted
LPAR
2010
Springer
15 years 1 months ago
PBINT, A Logic for Modelling Search Problems Involving Arithmetic
Shahab Tasharrofi, Eugenia Ternovska
172
Voted
CL
2011
Springer
14 years 10 months ago
A transactional model for automatic exception handling
Bruno Cabral, Paulo Marques
212
Voted
TSE
2012
13 years 6 months ago
Automated Abstractions for Contract Validation
d Abstractions for Contract Validation Guido de Caso, Víctor Braberman, Diego Garbervetsky and Sebastián Uchitel —Pre/post condition-based specifications are common-place in a...
Guido de Caso, Víctor A. Braberman, Diego G...