2364 search results - page 107 / 473 » An Engine for Computing Well-Founded Models |
221
click to vote
TSE
2012
13 years 6 months ago
2012
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...
128
click to vote
CSCWD
2005
Springer
15 years 9 months ago
2005
Springer
GOMS is a well-known model that has been successfully used in predicting the performance of humancomputer interaction, identifying usability problems and improving user-interface ...
155
click to vote
SAC
2010
ACM
14 years 10 months ago
2010
ACM
Model-Driven Engineering (MDE) advocates the use of models at every step of the software development process. Within this context, a team of engineers collectively and collaborati...
153
click to vote
EUROSYS
2007
ACM
16 years 1 months ago
2007
ACM
Data centers are often under-utilized due to over-provisioning as well as time-varying resource demands of typical enterprise applications. One approach to increase resource utili...
145
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...