5255 search results - page 552 / 1051 » Formal Methods for Privacy |
229
click to vote
TCS
1998
15 years 6 months ago
1998
A method is described for proving “always possibly” properties of specifications in formalisms with linear-time trace semantics. It is shown to be relatively complete for TLA...
167
click to vote
COMPSAC
2010
IEEE
15 years 5 months ago
2010
IEEE
Developing large scale software systems has major security challenges. This paper describes the issues involved and then addresses two topics: formal methods for emerging secure sy...
199
click to vote
MEMOCODE
2010
IEEE
15 years 5 months ago
2010
IEEE
Electronic System Level (ESL) design manages the complexity of todays systems by using abstract models. In this context Transaction Level Modeling (TLM) is state-of-theart for desc...
207
click to vote
ICTIR
2009
Springer
15 years 4 months ago
2009
Springer
This paper presents a theoretical methodology to evaluate filters in XML retrieval. Theoretical evaluation is concerned with the formal investigation of qualitative properties of r...
172
click to vote
IGARSS
2010
15 years 4 months ago
2010
The ESA project GlobSnow develops products and services for snow extent and snow water equivalent. The time series of Snow Extent (SE) products will cover the whole seasonally sno...