Sciweavers

46 search results - page 6 / 10
» pe 2010
Sort
View
PE
2010
Springer
123views Optimization» more  PE 2010»
13 years 5 months ago
Evaluating fluid semantics for passive stochastic process algebra cooperation
Fluid modelling is a next-generation technique for analysing massive performance models. Passive cooperation is a popular cooperation mechanism frequently used by performance engi...
Richard A. Hayden, Jeremy T. Bradley
PE
2010
Springer
91views Optimization» more  PE 2010»
13 years 9 months ago
Optimal server scheduling in hybrid P2P networks
We consider the server scheduling problem in hybrid P2P networks in the context of a fluid model. Specifically, we examine how to allocate the limited amount of server upload ca...
Bo Zhang, Sem C. Borst, Martin I. Reiman
PE
2010
Springer
124views Optimization» more  PE 2010»
13 years 5 months ago
High-level approach to modeling of observed system behavior
Current computer systems and communication networks tend to be highly complex, and they typically hide their internal structure from their users. Thus, for selected aspects of cap...
Thomas Begin, Alexandre Brandwajn, Bruno Baynat, B...
DEON
2010
Springer
14 years 2 months ago
Avoiding Deontic Explosion by Contextually Restricting Aggregation
Abstract. In this paper, we present an adaptive logic for deontic conflicts, called P2.1r , that is based on Goble’s logic SDLaPe—a bimodal extension of Goble’s logic P that...
Joke Meheus, Mathieu Beirlaen, Frederik Van De Put...
EUROCRYPT
2010
Springer
14 years 3 months ago
Fully Secure Functional Encryption: Attribute-Based Encryption and (Hierarchical) Inner Product Encryption
In this paper, we present two fully secure functional encryption schemes. Our first result is a fully secure attribute-based encryption (ABE) scheme. Previous constructions of AB...
Allison B. Lewko, Tatsuaki Okamoto, Amit Sahai, Ka...