Sciweavers

1541 search results - page 240 / 309
» Interaction Analysis in Aspect-Oriented Models
Sort
View
ENTCS
2006
146views more  ENTCS 2006»
13 years 8 months ago
Formalizing WSBPEL Business Processes Using Process Algebra
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
Javier Cámara, Carlos Canal, Javier Cubo, A...
IJON
2007
99views more  IJON 2007»
13 years 8 months ago
Criticality of avalanche dynamics in adaptive recurrent networks
In many studies of self-organized criticality (SOC), branching processes were used to model the dynamics of the activity of the system during avalanches. This mathematical simpliï...
Anna Levina, Udo Ernst, J. Michael Herrmann
JCS
2011
72views more  JCS 2011»
13 years 3 months ago
Automatically deriving information-theoretic bounds for adaptive side-channel attacks
We present a model of adaptive attacks which we combine with information-theoretic metrics to quantify the information revealed to an adaptive adversary. This enables us to expres...
Boris Köpf, David A. Basin
SIAMMA
2010
105views more  SIAMMA 2010»
13 years 2 months ago
Free Cooling and High-Energy Tails of Granular Gases with Variable Restitution Coefficient
ABSTRACT. We prove the so-called generalized Haff's law yielding the optimal algebraic cooling rate of the temperature of a granular gas described by the homogeneous Boltzmann...
Ricardo J. Alonso, Bertrand Lods
TIT
2010
125views Education» more  TIT 2010»
13 years 2 months ago
Target detection via network filtering
A method of `network filtering' has been proposed recently to detect the effects of certain external perturbations on the interacting members in a network. However, with larg...
Shu Yang, Eric D. Kolaczyk