Sciweavers

5255 search results - page 820 / 1051
» Formal Methods for Privacy
Sort
View
SIGSOFT
2010
ACM
15 years 4 months ago
Separation of concerns for dependable software design
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...
Daniel Jackson, Eunsuk Kang
WEBI
2010
Springer
15 years 4 months ago
Discovering Research Communities by Clustering Bibliographical Data
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...
Fabrice Muhlenbach, Stéphane Lallich
ICSOC
2009
Springer
15 years 4 months ago
A Reassessment of Enterprise Architecture Implementation
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...
Stephan Aier, Joachim Schelp
IGARSS
2010
15 years 3 months ago
New hyperspectral data representation using binary partition tree
The optimal exploitation of the information provided by hyperspectral images requires the development of advanced image processing tools. This paper introduces a new hierarchical ...
Silvia Valero, Philippe Salembier, Jocelyn Chanuss...
IGARSS
2010
15 years 3 months ago
Accurate monitoring of terrestrial aerosols and total solar irradiance: The NASA Glory mission
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 ...
Michael Mishchenko, Brian Cairns, Greg Kopp, Hal M...