4224 search results - page 703 / 845 » Reasoning about Choice |
116
Voted
JTAER
2008
15 years 24 days ago
2008
We typically think of documents as carrying information. However, certain kinds of documents do more than that: they are not only informative but also performative in that they re...
104
Voted
JUCS
2008
15 years 24 days ago
2008
Abstract: The abstract syntax and static semantics of UML, the widely-used generalpurpose graphical modeling language, have been standardized in a four-layer metamodeling framework...
119
Voted
JWSR
2008
15 years 24 days ago
2008
: Ensuring composite services reliability is a challenging problem. Indeed, due to the inherent autonomy and heterogeneity of Web services it is difficult to predict and reason abo...
96
Voted
ECCC
2007
15 years 24 days ago
2007
In cryptography, there has been tremendous success in building primitives out of homomorphic semantically-secure encryption schemes, using homomorphic properties in a blackbox way...
KI
2008
Springer
15 years 24 days ago
2008
Springer
Abstract. Collective phenomena and their associated movement patterns are ubiquitous in everyday life. However, even though we need to be able to reason about these phenomena, espe...