2944 search results - page 279 / 589 » Robust Semantic Construction |
184
click to vote
IACR
2011
14 years 6 months ago
2011
What does it mean for an encryption scheme to be leakage-resilient? Prior formulations require that the scheme remains semantically secure even in the presence of leakage, but onl...
180
click to vote
TACAS
2004
Springer
16 years 3 days ago
2004
Springer
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
187
click to vote
FAST
2010
15 years 9 months ago
2010
An understanding of application I/O access patterns is useful in several situations. First, gaining insight into what applications are doing with their data at a semantic level he...
156
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
Lexical databases are invaluable sources of knowledge about words and their meanings, with numerous applications in areas like NLP, IR, and AI. We propose a methodology for the au...
173
click to vote
ICSR
2009
Springer
16 years 1 months ago
2009
Springer
FeatuRSEB is a method for domain modeling of software system families using the industry standard notation of the Unified Modeling Language. FeatuRSEB/Sys is an extension of FeatuR...