7785 search results - page 202 / 1557 » The Concept of Dynamic Analysis |
161
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Confidentiality is maybe the most popular security property to be formally or informally verified. Noninterference is a baseline security policy to formalize confidentiality of sec...
214
click to vote
DAGSTUHL
2009
15 years 7 months ago
2009
We introduce and discuss the application of statistical physics concepts in the context of on-line machine learning processes. The consideration of typical properties of very large...
187
click to vote
IV
2009
IEEE
16 years 1 months ago
2009
IEEE
Interactive 3D geovirtual environments (GeoVE), such as 3D virtual city and landscape models, are important tools to communicate geo-spatial information. Usually, this includes st...
167
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
One of the upcoming challenges in embedded processing is to incorporate an increasing amount of adaptivity in order to respond to the multifarious constraints induced by today’s...
175
click to vote
PKDD
2004
Springer
15 years 12 months ago
2004
Springer
This paper describes a new research proposal of multi-document summarization of dynamic content in web pages. Much information is lost in the Web due to the temporal character of w...