5255 search results - page 538 / 1051 » Formal Methods for Privacy |
217
click to vote
FORMATS
2008
Springer
15 years 8 months ago
2008
Springer
Time dependant models have been intensively studied for many reasons, among others because of their applications in software verification and due to the development of embedded pla...
175
click to vote
I3
2007
15 years 8 months ago
2007
Referent tracking (RT) is a new paradigm, based on unique identification, for representing and keeping track of particulars. It was first introduced to support the entry and retri...
174
click to vote
CORR
2004
Springer
15 years 7 months ago
2004
Springer
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
155
click to vote
IFM
2010
Springer
15 years 5 months ago
2010
Springer
A Data Sharing Agreement (DSA) is a contract among two or more principals regulating how they share data. Agreements are usually represented as a set of clauses expressed using the...
272
click to vote
IFM
2010
Springer
15 years 5 months ago
2010
Springer
Safe is a first-order eager functional language with facilities for programmer controlled destruction and copying of data structures. It provides also regions, i.e. disjoint parts...