11397 search results - page 2048 / 2280 » A Relational Abstraction for Functions |
207
click to vote
IWSEC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract—Password-authenticated key exchange (PAKE) protocols are designed to be secure even when the secret key used for authentication is a human-memorable password. In this pa...
208
click to vote
LPNMR
2009
Springer
2009
Springer
Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs
16 years 1 months ago
Configurable on chip multiprocessor systems combine advantages of task-level parallelism and the flexibility of field-programmable devices to customize architectures for paralle...
226
click to vote
MIDDLEWARE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Gossip-based information dissemination protocols are considered easy to deploy, scalable and resilient to network dynamics. Loadbalancing is inherent in these protocols a...
224
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper describes our participation in the Ontology Alignment Evaluation Initiative (OAEI) 2009 with the AgreementMaker system for ontology matching, in which we obtai...
227
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
Exception analysis and points-to analysis are typically done in complete separation. Past algorithms for precise exception analysis (e.g., pairing throw clauses with catch stateme...