5255 search results - page 156 / 1051 » Formal Methods for Privacy |
116
Voted
ZUM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We describe a method for combining formal program development with a disciplined and documented way of introducing realistic compromises, for example necessitated by reso...
152
Voted
ICDE
2005
IEEE
15 years 9 months ago
2005
IEEE
Processing of top-k queries has been attracting considerable attention. Much of the work assumes distributed data, with each site holding a different set of attributes for the sam...
141
Voted
COMPSAC
1997
IEEE
15 years 7 months ago
1997
IEEE
Despite recent developments in formal methods, formal methods have yet to enter the mainstream of software industry. In this paper, we first examine the pragmatic obstacles of ma...
122
click to vote
IAT
2008
IEEE
15 years 10 months ago
2008
IEEE
Social networks are very popular nowadays and the understanding of their inner structure seems to be promising area. Several approaches for the social network structure visualizat...
107
Voted
MICAI
2004
Springer
15 years 9 months ago
2004
Springer
The paper presents a method of automatic enrichment of a very large dictionary of word combinations. The method is based on results of automatic syntactic analysis (parsing) of sen...