13383 search results - page 2374 / 2677 » Abstractions from proofs |
159
click to vote
TPHOL
2009
IEEE
16 years 23 days ago
2009
IEEE
Abstract. Real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, they have relaxed memory mode...
164
click to vote
ACNS
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. Two-party Secure Function Evaluation (SFE) is a very useful cryptographic tool which allows two parties to evaluate a function known to both parties on their private (sec...
177
click to vote
BICOB
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. With the availability of hundreds and soon-to-be thousands of complete genomes, the construction of genome-scale metabolic models for these organisms has attracted much a...
199
click to vote
UIC
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. In the last years, techniques for activity recognition have attracted increasing attention. Among many applications, a special interest is in the pervasive e-Health domai...
195
click to vote
WADS
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. A central issue in the design of modern communication networks is the provision of Quality-of-Service (QoS) guarantees at the presence of heterogeneous users. For instanc...