3564 search results - page 481 / 713 » Evaluating a Formal Modelling Language |
166
click to vote
ICAIL
2011
ACM
13 years 10 months ago
2011
ACM
A formal two-phase model of democratic policy deliberation is presented, in which in the first phase sufficient and necessary criteria for proposals to be accepted are determine...
ICML
2006
IEEE
15 years 12 months ago
2006
IEEE
Ordinal regression has become an effective way of learning user preferences, but most of research only focuses on single regression problem. In this paper we introduce collaborati...
CNSR
2006
IEEE
15 years 5 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...
193
click to vote
POPL
2004
ACM
15 years 11 months ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
SOUPS
2009
ACM
15 years 5 months ago
2009
ACM
Displaying website privacy policies to consumers in ways they understand is an important part of gaining consumers’ trust and informed consent, yet most website privacy policies...