5255 search results - page 324 / 1051 » Formal Methods for Privacy |
165
click to vote
EMSOFT
2009
Springer
15 years 11 months ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
142
click to vote
CNSR
2006
IEEE
15 years 10 months ago
2006
IEEE
Network protocol performance and evaluation study is often carried out using a couple of widely used simulation toolkits, such as ns-2 and OPNET. These toolkits usually contain ma...
154
click to vote
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
Information requirements analysis for data warehouse systems differs significantly from requirements analysis for conventional information systems. Existing data warehouse specifi...
151
click to vote
ISCC
2002
IEEE
15 years 9 months ago
2002
IEEE
Generalized association rule mining is an extension of traditional association rule mining to discover more informative rules, given a taxonomy. In this paper, we describe a forma...
120
click to vote
CG
2010
Springer
15 years 2 months ago
2010
Springer
We used in the past a lot of computational power and human expertise for having a very big dataset of good 9x9 Go games, in order to build an opening book. We improved a lot the al...