6167 search results - page 222 / 1234 » Can Refinement be Automated |
199
click to vote
ISBI
2011
IEEE
14 years 9 months ago
2011
IEEE
High angular resolution diffusion imaging (HARDI) allows population studies of fiber integrity and connectivity. Tractography can extract individual fibers. For group studies, fib...
169
click to vote
CCS
2011
ACM
14 years 5 months ago
2011
ACM
Web applications divide their state between the client and the server. The frequent and highly dynamic client-server communication that is characteristic of modern web application...
258
click to vote
ECOWS
2011
Springer
14 years 5 months ago
2011
Springer
Abstract—One of the key concepts of service-oriented computing is dynamic binding which favors on-demand integration of services into a running system. Companies can outsource ta...
259
click to vote
TSE
2012
13 years 8 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...
127
click to vote
CSL
2001
Springer
15 years 10 months ago
2001
Springer
We prove an existential version of Gaifman’s locality theorem and show how it can be applied algorithmically to evaluate existential first-order sentences in finite structures....