Sciweavers

2424 search results - page 247 / 485
» The High Level Architecture for Simulations
Sort
View
ECAI
2004
Springer
16 years 3 hour ago
Analysis of Design Process Dynamics
To enable the development of automated support for the dynamics of design processes, a challenge is to model and analyse such dynamics in a formal manner. This paper contributes a ...
Tibor Bosse, Catholijn M. Jonker, Jan Treur
ICICS
2004
Springer
15 years 12 months ago
Automatic Covert Channel Analysis of a Multilevel Secure Component
Abstract. The NRL Pump protocol defines a multilevel secure component whose goal is to minimize leaks of information from high level systems to lower level systems, without degrad...
Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone...
146
Voted
CPAIOR
2010
Springer
15 years 11 months ago
Integrated Maintenance Scheduling for Semiconductor Manufacturing
We present a maintenance scheduling problem arising from semi-conductor manufacturing which is characterized by low resource contention and multiple complex objectives and prefere...
Andrew J. Davenport
CSDA
2010
111views more  CSDA 2010»
15 years 6 months ago
Robust online signal extraction from multivariate time series
We introduce robust regression-based online filters for multivariate time series and discuss their performance in real time signal extraction settings. We focus on methods that ca...
Vivian Lanius, Ursula Gather
PE
2007
Springer
112views Optimization» more  PE 2007»
15 years 6 months ago
Design and analysis of adaptive strategies for locating internet-based servers in MANETs
A critical problem in providing Internet access to Mobile Ad Hoc Networks (MANETs) is how the mobile hosts can locate Internet-based servers efficiently in a dynamic, unstructure...
Hongbo Jiang, Shudong Jin