Sciweavers

3719 search results - page 158 / 744
» order 2010
Sort
View
ENTCS
2007
136views more  ENTCS 2007»
15 years 3 months ago
Adaptation for Hierarchical Components and Services
Software coordination and adaptation is intimately related to software (modular) pieces and access points. These pieces (components or services) may be complex, dissimilar (various...
Pascal André, Gilles Ardourel, Christian At...
ENTCS
2007
97views more  ENTCS 2007»
15 years 3 months ago
Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems
Process algebras are standard formalisms for compositionally describing systems by the dependencies of their observable synchronous communication. In concurrent systems, parallel ...
Harald Fecher, Heiko Schmidt
ENTCS
2007
105views more  ENTCS 2007»
15 years 3 months ago
A Probabilistic Scheduler for the Analysis of Cryptographic Protocols
When modelling cryto-protocols by means of process calculi which express both nondeterministic and probabilistic behavior, it is customary to view the scheduler as an intruder. It...
Srecko Brlek, Sardaouna Hamadou, John Mullins
EOR
2007
87views more  EOR 2007»
15 years 3 months ago
The TV-Break Packing Problem
Instead of selling advertisement spots one by one, some French satellite channels decided in 2002 to modify their commercial offer in order to sell packages of spots. These new g...
Thierry Benoist, Eric Bourreau, Benoît Rotte...
EOR
2007
79views more  EOR 2007»
15 years 3 months ago
Consensus reaching in committees
In this paper, we apply a consensus model to decision-making in committees that have to choose one or more alternatives from a set of alternatives. The model does not use a voting...
Patrik Eklund, Agnieszka Rusinowska, Harrie C. M. ...