Sciweavers

10891 search results - page 1623 / 2179
» Combining Model Reductions
Sort
View
ICSOC
2009
Springer
15 years 2 months ago
Lightweight Composition of Ad-Hoc Enterprise-Class Applications with Context-Aware Enterprise Mashups
The huge demand for ad-hoc and situational enterprise-class applications led to a new kind of Web-based applications, known as enterprise mashups. End users from the business units...
Florian Gilles, Volker Hoyer, Till Janner, Katarin...
INFORMS
2010
75views more  INFORMS 2010»
15 years 2 months ago
Improving the Efficiency and Efficacy of Controlled Sequential Bifurcation for Simulation Factor Screening
Controlled Sequential Bifurcation (CSB) is a factor-screening method for discrete-event simulations. It combines a multi-stage hypothesis testing procedure with the original Seque...
Hong Wan, Bruce E. Ankenman, Barry L. Nelson
AMAST
2010
Springer
14 years 12 months ago
Learning in a Changing World, an Algebraic Modal Logical Approach
Abstract. We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a ch...
Prakash Panangaden, Mehrnoosh Sadrzadeh
CGF
2011
14 years 12 months ago
Motion Blur Rendering: State of the Art
Motion blur is a fundamental cue in the perception of objects in motion. This phenomenon manifests as a visible trail along the trajectory of the object and is the result of the c...
Fernando Navarro, Francisco J. Serón, Diego...
JCS
2011
72views more  JCS 2011»
14 years 11 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
« Prev « First page 1623 / 2179 Last » Next »