Sciweavers

3938 search results - page 493 / 788
» Interactive Protocols on the Reals
Sort
View
IPPS
2010
IEEE
15 years 4 months ago
Operating system resource management
From the point of view of an operating system, a computer is managed and optimized in terms of the application programming model and the management of system resources. For the TF...
Burton Smith
CORR
2009
Springer
95views Education» more  CORR 2009»
15 years 4 months ago
Execution Models for Choreographies and Cryptoprotocols
A choreography describes a transaction in which several principals interact. Since choreographies frequently describe business processes affecting substantial assets, we need a se...
Marco Carbone, Joshua D. Guttman
ICC
2009
IEEE
121views Communications» more  ICC 2009»
15 years 4 months ago
Cooperative Cognitive Radio with Priority Queueing Analysis
In this paper, we model the hierarchical structures inherent in cognitive radio networks as the priority queueing system in which primary users interact with the highest priority a...
Caoxie Zhang, Xinbing Wang, Jun Li
JCS
2011
72views more  JCS 2011»
15 years 1 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
KESAMSTA
2011
Springer
14 years 9 months ago
Extending the JADE Agent Behaviour Model with JBehaviourTrees Framework
Creating modular behaviours in JADE using a traditional method such as the FSM (Finite State Machine) can be a difficult task to achieve. The first issue with FSMs is that they do...
Iva Bojic, Tomislav Lipic, Mario Kusek, Gordan Jez...