5255 search results - page 237 / 1051 » Formal Methods for Privacy |
105
Voted
IGPL
2010
15 years 1 months ago
2010
139
Voted
SIAMDM
2011
14 years 7 months ago
2011
146
click to vote
KI
2002
Springer
15 years 3 months ago
2002
Springer
In the previous two decades, a number of qualitative constraint calculi have been developed, which are used to represent and reason about spatial configurations. A common property...
164
click to vote
ICSE
1999
IEEE-ACM
15 years 8 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
137
click to vote
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...