780 search results - page 84 / 156 » Compositional Quantitative Reasoning |
135
click to vote
IEEEHPCS
2010
15 years 29 days ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
133
Voted
ICTAC
2010
Springer
15 years 12 days ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
110
click to vote
CSCW
2010
ACM
15 years 11 months ago
2010
ACM
Most studies of plans and situated work have applied ethnographic methods and and thus fail to provide any quantitative insight into the extent of this phenomenon. We present a st...
117
click to vote
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
Visualization of multidimensional data by means of Multidimensional Scaling (MDS) is a popular technique of exploratory data analysis widely usable, e.g. in analysis of bio-medica...
117
click to vote
WETICE
2002
IEEE
15 years 7 months ago
2002
IEEE
Various systems offering anonymity for near real-time Internet traffic have been operational. However, they did not deliver many quantitative results about performance, bandwidth...