2940 search results - page 216 / 588 » Relational Parametricity and Control |
187
click to vote
CN
2007
15 years 6 months ago
2007
As ICT services are becoming more ubiquitous and mobile and access technologies grow to be more heterogeneous and complex, we are witnessing the increasing importance of two relat...
151
click to vote
NHM
2010
15 years 1 months ago
2010
Previous experimental studies of spontaneous imbibition on chalk core plugs have shown that seawater may change the wettability in the direction of more water-wet conditions in cha...
156
click to vote
HYBRID
1992
Springer
15 years 10 months ago
1992
Springer
This paper demonstrates how the extended duration calculus [4] can be used to support the approach to documentation of computer systems presented by in [1]. This approach uses the ...
174
click to vote
MASCOTS
2008
15 years 8 months ago
2008
As storage deployments within enterprises continue to grow, there is an increasing need to simplify and automate. Existing tools for automation rely on extracting information in t...
142
click to vote
SMC
2010
IEEE
15 years 5 months ago
2010
IEEE
This paper presents a new method for dealing with fuzzy group decision-making problems based on interval linguistic labels. We propose the interval linguistic labels ordered weight...