2433 search results - page 304 / 487 » Power laws in software |
169
click to vote
APWEB
2007
Springer
16 years 1 months ago
2007
Springer
XQuery is a powerful language defined by the W3C to query XML documents. Its query functionalities and its expressiveness satisfy the major needs of both the database community an...
160
click to vote
CCS
2007
ACM
16 years 1 months ago
2007
ACM
We present a model of adaptive side-channel attacks which we combine with information-theoretic metrics to quantify the information revealed to an attacker. This allows us to expr...
238
click to vote
FOSSACS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
207
click to vote
SEKE
2007
Springer
16 years 1 months ago
2007
Springer
Developing user interfaces for a heterogeneous environment is a difficult challenge. Partial distribution of the user interface is an event harder one. Specifically providing de...
176
click to vote
AINA
2006
IEEE
16 years 1 months ago
2006
IEEE
Given a client/server application, how can the server entrust the integrity of the remote client, albeit the latter is running on an un-trusted machine? To address this research p...