Sciweavers

2917 search results - page 264 / 584
» Adaptation and the effort needed to adapt
Sort
View
CORR
2010
Springer
131views Education» more  CORR 2010»
15 years 4 months ago
On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism ...
Manuel Mazzara, Anirban Bhattacharyya
CORR
2010
Springer
135views Education» more  CORR 2010»
15 years 3 months ago
SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks
The importance of stochasticity within biological systems has been shown repeatedly during the last years and has raised the need for efficient stochastic tools. We present SABRE, ...
Frédéric Didier, Thomas A. Henzinger...
ENTCS
2011
120views more  ENTCS 2011»
15 years 1 months ago
Game Semantics for Quantum Data
This paper presents a game semantics for a simply-typed λ-calculus with qbits constants and associated quantum operations. The resulting language is expressive enough to encode a...
Yannick Delbecque
CCR
2008
91views more  CCR 2008»
15 years 6 months ago
Serial experiments online
Current network protocols must comply with rigid interfaces and rules of behavior to fit into well defined, vertical protocol stacks. It is difficult for network designers to offe...
Juan J. Ramos-Muñoz, Lidia Yamamoto, Christ...
ICCV
2011
IEEE
14 years 6 months ago
Struck: Structured Output Tracking with Kernels
Adaptive tracking-by-detection methods are widely used in computer vision for tracking arbitrary objects. Current approaches treat the tracking problem as a classification task a...
Sam Hare, Amir Saffari, Philip H.S. Torr