Sciweavers

4307 search results - page 333 / 862
» Dynamic Spyware Analysis
Sort
View
WSC
2000
15 years 5 months ago
Mathematical programming models of discrete event system dynamics
Analytical models for the dynamics of some discrete event systems are introduced where the system trajectories are solutions to linear and mixed-integer programs. 1 BACKGROUND The...
Lee Schruben
BMCBI
2006
117views more  BMCBI 2006»
15 years 3 months ago
A method for estimation of elasticities in metabolic networks using steady state and dynamic metabolomics data and linlog kineti
Background: Dynamic modeling of metabolic reaction networks under in vivo conditions is a crucial step in order to obtain a better understanding of the (dis)functioning of living ...
I. Emrah Nikerel, Wouter A. van Winden, Walter M. ...
SLOGICA
2008
101views more  SLOGICA 2008»
15 years 3 months ago
A Dynamic-Logical Perspective on Quantum Behavior
In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main thesis ...
Alexandru Baltag, Sonja Smets
136
Voted
ESORICS
2009
Springer
16 years 4 months ago
Enabling Public Verifiability and Data Dynamics for Storage Security in Cloud Computing
Cloud Computing has been envisioned as the next-generation architecture of IT Enterprise. It moves the application software and databases to the centralized large data centers, whe...
Qian Wang, Cong Wang, Jin Li, Kui Ren, Wenjing Lou
ISPASS
2010
IEEE
15 years 10 months ago
Visualizing complex dynamics in many-core accelerator architectures
—While many-core accelerator architectures, such as today’s Graphics Processing Units (GPUs), offer orders of magnitude more raw computing power than contemporary CPUs, their m...
Aaron Ariel, Wilson W. L. Fung, Andrew E. Turner, ...