5255 search results - page 820 / 1051 » Formal Methods for Privacy |
202
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
For `mixed-criticality' systems that have both critical and non-critical functions, the greatest leverage on dependability may be at the design level. By designing so that ea...
180
click to vote
WEBI
2010
Springer
15 years 4 months ago
2010
Springer
Today's world is characterized by the multiplicity of interconnections through many types of links between the people, that is why mining social networks appears to be an impo...
190
click to vote
ICSOC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Aside of day-to-day business in some organizations Enterprise Architecture (EA) seems to be successful while it is not in others that also have notations, models, methods...
189
click to vote
IGARSS
2010
15 years 3 months ago
2010
The optimal exploitation of the information provided by hyperspectral images requires the development of advanced image processing tools. This paper introduces a new hierarchical ...
261
click to vote
IGARSS
2010
15 years 3 months ago
2010
Current uncertainties in the total solar irradiance (TSI) and aerosol radiative forcings of climate are so large that they limit quantitative evaluation of climate models against ...