10568 search results - page 687 / 2114 » Computer Intelligence and Formalization |
196
click to vote
GAMESEC
2010
15 years 5 months ago
2010
Abstract. Even the most well-motivated models of information security have application limitations due to the inherent uncertainties involving risk. This paper exemplifies a formal...
193
click to vote
HCI
2009
15 years 5 months ago
2009
Due to the increasing penetration of mobile phones even in poor communities, mobile-phone-enabled banking (m-banking) services are being increasingly targeted at the "unbanked...
232
click to vote
IC3
2009
15 years 5 months ago
2009
Abstract. This paper presents liveness properties that need to be preserved by Event-B models of distributed systems. Event-B is a formal technique for development of models of dis...
219
click to vote
COLING
2010
15 years 2 months ago
2010
We explore the near-synonym lexical choice problem using a novel representation of near-synonyms and their contexts in the latent semantic space. In contrast to traditional latent...
237
click to vote
SOSYM
2011
15 years 2 months ago
2011
In this document I present the work done under the supervision of Sebastian Uchitel between March and July 2008, in the research team of the Laboratorio de Fundamentos y Herramien...