Sciweavers

3483 search results - page 519 / 697
» Forward
Sort
View
153
Voted
AIPS
2009
15 years 5 months ago
Computing Robust Plans in Continuous Domains
We define the robustness of a sequential plan as the probability that it will execute successfully despite uncertainty in the execution environment. We consider a rich notion of u...
Christian Fritz, Sheila A. McIlraith
CSL
2010
Springer
15 years 5 months ago
Degrees of Security: Protocol Guarantees in the Face of Compromising Adversaries
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...
David A. Basin, Cas J. F. Cremers
CSE
2009
IEEE
15 years 5 months ago
Social Relationship Identification: An Example of Social Query
Every moment, millions of people worldwide are communicating and sharing content online. We express ourselves online to enrich existing relationships and establish new relationship...
Christopher P. Diehl, Jaime Montemayor, Michael Pe...
DLS
2008
264views Languages» more  DLS 2008»
15 years 5 months ago
Contextual values
Context-oriented programming proposes to treat execution context explicitly and to provide means for context-dependent adaptation at runtime. There are many mechanisms that can be...
Éric Tanter
ICALT
2010
IEEE
15 years 5 months ago
Towards the Generalization of Game-Based Learning: Integrating Educational Video Games in LAMS
In e-Learning the interest on the use of new kinds of highly-interactive content is increasing. In this regard video games are one of the media that is gaining momentum because of ...
Ángel del Blanco, Javier Torrente, Pablo Mo...